Temporal Properties over Contextualized Description Logics.
Satyadharma TirtarasaPublished in: Description Logics (2020)
Keyphrases
- description logics
- temporal properties
- model checking
- knowledge base
- formal methods
- reasoning tasks
- possibility theory
- dl lite
- knowledge representation
- computational properties
- concept descriptions
- knowledge representation formalisms
- ontology languages
- semantic web
- temporal logic
- reasoning services
- reasoning problems
- computing least common subsumers