A Description Logic of Change.
Alessandro ArtaleCarsten LutzDavid TomanPublished in: Description Logics (2006)
Keyphrases
- description logics
- knowledge base
- computational properties
- reasoning tasks
- dl lite
- computing least common subsumers
- reasoning problems
- model theoretic
- knowledge representation and reasoning
- reasoning systems
- knowledge representation
- ontology languages
- semantic web
- concept descriptions
- ontology reasoning
- snomed ct
- database
- semantic mapping
- owl ontologies
- logic programs
- reasoning services
- number restrictions
- knowledge representation languages
- terminological knowledge