Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases.
Mario AlvianoLaura GiordanoDaniele Theseider DupréPublished in: CILC (2023)
Keyphrases
- description logics
- knowledge base
- dl lite
- tableau calculus
- computing least common subsumers
- knowledge representation
- reasoning tasks
- knowledge representation systems
- concept descriptions
- computational properties
- reasoning systems
- temporal reasoning
- knowledge representation formalisms
- temporal constraints
- reasoning problems
- temporal information
- semantic web
- model theoretic
- owl ontologies
- highly expressive
- knowledge representation languages
- partially ordered
- ontology languages
- domain knowledge