On Metric Temporal Description Logics.
Víctor Gutiérrez-BasultoJean Christoph JungAna OzakiPublished in: ECAI (2016)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- reasoning tasks
- temporal information
- dl lite
- computational properties
- knowledge representation and reasoning
- reasoning systems
- knowledge representation formalisms
- reasoning problems
- temporal reasoning
- fuzzy description logics
- ontology languages
- concept descriptions
- computing least common subsumers
- knowledge representation systems
- temporal constraints
- artificial intelligence
- data management
- special case
- database systems
- reasoning services
- dl programs
- knowledge representation languages