A Solution to the Ramification Problem Expressed in Temporal Description Logics.
Nikos PapadakisPolydoros PetrakisDimitris PlexousakisCharalampos ManifavasPublished in: Int. J. Semantic Comput. (2014)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- knowledge representation and reasoning
- temporal reasoning
- computational properties
- knowledge representation
- dl lite
- computing least common subsumers
- concept descriptions
- optimal solution
- knowledge representation formalisms
- reasoning problems
- temporal constraints
- semantic web
- reasoning services
- knowledge representation systems
- reasoning systems
- ontology languages
- model theoretic
- fuzzy description logics
- owl ontologies
- data complexity
- expert systems