Verification of Description Logic Knowledge and Action Bases.
Babak Bagheri HaririDiego CalvaneseGiuseppe De GiacomoRiccardo De MasellisPaolo FelliMarco MontaliPublished in: ECAI (2012)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- reasoning mechanism
- knowledge representation languages
- reasoning tasks
- owl ontologies
- knowledge acquisition
- reasoning problems
- semantic web
- knowledge representation and reasoning
- concept descriptions
- domain knowledge
- knowledge management
- dl lite
- semantic mapping
- computing least common subsumers
- formal ontologies
- terminological knowledge
- model theoretic
- domain experts
- expert systems