A Suggestion for an n-ary Description Logic.
Carsten LutzUlrike SattlerStephan TobiesPublished in: Description Logics (1999)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- knowledge representation
- semantic web
- computational properties
- reasoning problems
- reasoning systems
- concept descriptions
- knowledge representation and reasoning
- dl lite
- logical implication
- terminological knowledge
- reasoning mechanism
- snomed ct
- dl programs
- reasoning services
- ontology languages
- model theoretic
- query language