A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.
Alessandro ArtaleEnrico FranconiFrank WolterMichael ZakharyaschevPublished in: JELIA (2002)
Keyphrases
- description logics
- reasoning tasks
- reasoning problems
- reasoning systems
- knowledge base
- reasoning mechanism
- computational properties
- computing least common subsumers
- conceptual schemas
- reasoning services
- knowledge representation
- ontology reasoning
- semantic web ontologies
- number restrictions
- owl dl
- knowledge representation languages
- temporal reasoning
- query language
- query processing
- dl lite
- semantic web
- snomed ct
- conceptual schema
- database
- range queries
- expressive power
- databases
- ontology languages
- data model
- knowledge acquisition
- artificial intelligence
- data sources
- query evaluation
- user defined
- xml schema
- metadata
- automated reasoning
- data mining
- description logic programs