Attributive concept descriptions with complements
Artificial Intelligence
An introduction to database systems (7th ed.)
An introduction to database systems (7th ed.)
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Hi-index | 0.00 |
This paper suggests a new dialect of descriptive logic that permits concepts to be typified and assigns an explicit inheritance operation, which enables the construction of stricter taxonomies that are stable during the evolution of an ontology. It also suggests the explicit restriction of roles by concepts, which enables the assignment of strict integrity restriction on the Abox and growth in the efficiency of fulfilling RBox-queries.