Loading...
Please wait, while we are loading the content...
Similar Documents
Rewriting Concepts Using Terminologies (1999)
| Content Provider | CiteSeerX |
|---|---|
| Author | Molitor, Ralf Baader, Franz |
| Description | KR2000: PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING |
| Abstract | In this work we consider the inference problem of computing (minimal) rewritings of concept descriptions using defined concepts from a terminology. We introduce a general framework for this problem. For the small description logic FL0 , which provides us with conjunction and value restrictions, we show that the decision problem induced by the minimal rewriting problem is NP-complete. |
| File Format | |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Defined Concept Minimal Rewriting Problem Small Description Logic Fl0 Value Restriction Concept Using Terminology Concept Description |
| Content Type | Text |
