76 search results - page 3 / 16 » Paraconsistent Reasoning for OWL 2 |
DLOG
2007
13 years 7 months ago
2007
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
RR
2010
Springer
13 years 3 months ago
2010
Springer
DLOG
2009
13 years 3 months ago
2009
SEMWEB
2009
Springer
14 years 2 days ago
2009
Springer
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engi...
DLOG
2010
13 years 3 months ago
2010
We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardised web ontology language OWL 2. Orel performs ...