LTL over description logic axioms.
Franz BaaderSilvio GhilardiCarsten LutzPublished in: ACM Trans. Comput. Log. (2012)
Keyphrases
- description logics
- knowledge base
- transitive closure of roles
- medical terminology
- computational properties
- model checking
- temporal logic
- reasoning tasks
- knowledge representation
- snomed ct
- semantic web
- ontology languages
- first order logic
- computing least common subsumers
- reasoning problems
- owl ontologies
- expert systems
- logic programming
- concept descriptions
- model theoretic
- number restrictions
- logical implication
- reasoning mechanism
- machine learning
- horn clauses
- terminological knowledge