Inconsistency-Tolerant Reasoning in Datalog ^± ± Ontologies via an Argumentative Semantics.
Maria Vanina MartinezCristhian Ariel David DeagustiniMarcelo A. FalappaGuillermo Ricardo SimariPublished in: IBERAMIA (2014)
Keyphrases
- dl programs
- description logic programs
- reasoning services
- ontology languages
- owl dl
- description logics
- logic programming
- reasoning tasks
- formal semantics
- semantic web ontologies
- reasoning mechanism
- knowledge representation
- knowledge base
- ontological reasoning
- semantic web
- logical reasoning
- modular ontologies
- sound and complete with respect
- dl lite
- reasoning mechanisms
- deductive databases
- reasoning problems
- ontology based data access
- web ontology language
- ontological framework
- computational properties
- classical logic
- open world
- query answering
- data complexity
- expressive power
- reasoning systems
- proof theory
- model theoretic
- semantic relationships
- reasoning with inconsistent
- domain ontology
- owl ontologies
- default rules
- answer sets
- logic programs
- automated reasoning
- inconsistent information
- ontology reasoning
- fixpoint semantics
- semantic information
- query language
- rule engine
- database languages
- valued logic
- default logic
- ontology matching
- inconsistent knowledge
- conceptual models
- default reasoning
- conceptual graphs
- incomplete information