An argumentative approach for handling inconsistency in prioritized Datalog± ontologies.
Loan HoSomjit Arch-intErman AcarStefan SchlobachNgamnij Arch-intPublished in: AI Commun. (2022)
Keyphrases
- ontology based data access
- dl programs
- deductive databases
- ontology languages
- integrity checking
- query answering
- semantic web
- expressive power
- belief base
- integrity constraints
- description logics
- query language
- logic programming
- possibilistic logic
- knowledge base
- semantic technologies
- knowledge representation
- domain ontology
- dl lite
- ontology mapping
- data complexity
- semantically rich
- datalog programs
- owl ontologies
- databases
- answer sets
- topic maps
- classical logic
- computer mediated communication
- transitive closure
- semantic web technologies
- data integration
- ontological framework
- information systems