A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case.
Holger SturmFrank WolterPublished in: J. Log. Comput. (2002)
Keyphrases
- description logics
- tableau calculus
- knowledge base
- reasoning tasks
- knowledge representation
- dl lite
- semantic web
- snomed ct
- ontology languages
- reasoning services
- concept descriptions
- reasoning problems
- computational properties
- domain ontology
- logical implication
- temporal information
- number restrictions
- fixed point
- computing least common subsumers