Description Logic vs. Order-Sorted Feature Logic.
Hassan Aït-KaciPublished in: Description Logics (2007)
Keyphrases
- description logics
- order sorted
- predicate logic
- knowledge representation and reasoning
- computational properties
- formal logic
- knowledge representation formalisms
- model theoretic
- knowledge base
- knowledge representation
- logical implication
- reasoning tasks
- reasoning systems
- dl lite
- snomed ct
- semantic web
- logic programming
- concept descriptions
- reasoning problems
- automated reasoning
- tableau calculus
- modal operators
- ontology reasoning
- computing least common subsumers
- ontology languages
- computational linguistics
- number restrictions
- temporal logic
- incomplete information
- expressive power
- logic programs
- artificial intelligence