Tableaux for Temporal Description Logic with Constant Domains.
Carsten LutzHolger SturmFrank WolterMichael ZakharyaschevPublished in: IJCAR (2001)
Keyphrases
- description logics
- concept descriptions
- knowledge base
- computational properties
- reasoning tasks
- semantic web
- snomed ct
- model theoretic
- knowledge representation
- temporal constraints
- reasoning mechanism
- dl lite
- functional dependencies
- decision procedures
- temporal reasoning
- temporal information
- logical implication
- computing least common subsumers
- knowledge representation and reasoning
- owl dl
- semantic mapping
- machine learning
- automated reasoning
- inductive learning
- modal logic
- ontology reasoning