Description Logic in Semantics Querying.
Gilles NachoukiMohamed QuafafouPublished in: Description Logics (2002)
Keyphrases
- nonmonotonic logics
- description logics
- knowledge base
- ontology reasoning
- computational properties
- reasoning tasks
- knowledge representation
- model theoretic
- semantic web
- concept descriptions
- query language
- modal operators
- databases
- reasoning problems
- snomed ct
- highly expressive
- reasoning services
- ontology languages
- expert systems
- owl ontologies
- computing least common subsumers
- owl dl
- dl lite
- database
- semantic mapping
- formal semantics
- knowledge representation languages
- query processing