On Ordering Descriptions in a Description Logic.

Jeffrey Pound Lubomir Stanchev David Toman Grant E. Weddell

Published in: Description Logics (2007)

Keyphrases

description logics
concept descriptions
knowledge base
reasoning tasks
knowledge representation
computational properties
reasoning problems

dl lite
semantic matchmaking
ontology languages
semantic web
logical implication
reasoning systems
dl programs

semantic mapping
reasoning mechanism
number restrictions
knowledge representation languages
owl ontologies
partial order
machine learning

computing least common subsumers
reasoning services
refinement operators
owl dl
model theoretic
artificial intelligence