Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.
Alessandro ArtaleRoman KontchakovVladislav RyzhikovMichael ZakharyaschevPublished in: FroCoS (2011)
Keyphrases
- description logics
- reasoning tasks
- reasoning problems
- knowledge representation
- knowledge representation and reasoning
- conceptual models
- reasoning systems
- knowledge base
- expressive description logics
- knowledge representation systems
- temporal reasoning
- fuzzy description logics
- computational properties
- temporal information
- ontology languages
- formal ontologies
- knowledge representation formalisms
- computing least common subsumers
- owl dl
- reasoning services
- conceptual modeling
- artificial intelligence
- reasoning mechanism
- dl lite
- semantic web
- number restrictions
- data model
- knowledge representation languages
- data mining