Debugging EL+ Ontologies through Horn MUS Enumeration.
Alexey IgnatievJoão Marques-SilvaCarlos MencíaRafael PeñalozaPublished in: Description Logics (2017)
Keyphrases
- dl lite
- description logics
- comparative analysis
- semantic web
- owl dl ontology
- domain ontology
- np hard
- semantic web technologies
- knowledge base
- ontology matching
- information integration
- search space
- software testing
- semantic technologies
- ontology languages
- novice programmers
- domain specific
- owl ontologies
- horn theories
- ontology reasoning
- model based diagnosis
- topic maps
- data complexity
- semantically rich
- ontology alignment
- fault localization
- query answering
- background knowledge
- databases