Tractable Interval Temporal Propositional and Description Logics.
Alessandro ArtaleRoman KontchakovVladislav RyzhikovMichael ZakharyaschevPublished in: AAAI (2015)
Keyphrases
- description logics
- knowledge base
- model theoretic
- reasoning tasks
- dl lite
- refinement operators
- knowledge representation
- knowledge representation formalisms
- reasoning problems
- temporal constraints
- temporal information
- propositional logic
- prime implicates
- computational properties
- temporal reasoning
- knowledge representation and reasoning
- semantic web
- ontology languages
- computational complexity
- number restrictions
- default logic
- first order logic
- np complete
- owl ontologies
- owl dl
- concept descriptions
- np hard
- knowledge representation languages
- terminological knowledge
- expressive power
- expert systems