Ontological Analysis for Description Logics Knowledge Base Debugging.
Julien CormanNathalie Aussenac-GillesLaure VieuPublished in: AAAI Spring Symposia (2015)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- dl lite
- computational properties
- expert systems
- reasoning problems
- concept descriptions
- knowledge acquisition
- semantic web
- reasoning tasks
- artificial intelligence
- reasoning systems
- knowledge representation systems
- ontology reasoning
- terminological reasoning
- computing least common subsumers