Temporal Description Logic for Ontology-Based Data Access (Extended Version)
Alessandro ArtaleRoman KontchakovFrank WolterMichael ZakharyaschevPublished in: CoRR (2013)
Keyphrases
- description logics
- ontology based data access
- dl lite
- knowledge base
- reasoning tasks
- computational properties
- knowledge representation
- ontology languages
- temporal information
- semantic web
- reasoning problems
- snomed ct
- model theoretic
- computing least common subsumers
- database
- owl ontologies
- temporal reasoning
- expert systems
- artificial intelligence