244 research outputs found
Web ontology representation and reasoning via fragments of set theory
In this paper we use results from Computable Set Theory as a means to
represent and reason about description logics and rule languages for the
semantic web.
Specifically, we introduce the description logic \mathcal{DL}\langle
4LQS^R\rangle(\D)--admitting features such as min/max cardinality constructs
on the left-hand/right-hand side of inclusion axioms, role chain axioms, and
datatypes--which turns out to be quite expressive if compared with
\mathcal{SROIQ}(\D), the description logic underpinning the Web Ontology
Language OWL. Then we show that the consistency problem for
\mathcal{DL}\langle 4LQS^R\rangle(\D)-knowledge bases is decidable by
reducing it, through a suitable translation process, to the satisfiability
problem of the stratified fragment of set theory, involving variables
of four sorts and a restricted form of quantification. We prove also that,
under suitable not very restrictive constraints, the consistency problem for
\mathcal{DL}\langle 4LQS^R\rangle(\D)-knowledge bases is
\textbf{NP}-complete. Finally, we provide a -translation of rules
belonging to the Semantic Web Rule Language (SWRL)
Tractable approximate deduction for OWL
Acknowledgements This work has been partially supported by the European project Marrying Ontologies and Software Technologies (EU ICT2008-216691), the European project Knowledge Driven Data Exploitation (EU FP7/IAPP2011-286348), the UK EPSRC project WhatIf (EP/J014354/1). The authors thank Prof. Ian Horrocks and Dr. Giorgos Stoilos for their helpful discussion on role subsumptions. The authors thank Rafael S. Gonçalves et al. for providing their hotspots ontologies. The authors also thank BoC-group for providing their ADOxx Metamodelling ontologies.Peer reviewedPostprin
Paraconsistent Reasoning for OWL 2
A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as under the classical semantics. However, this approach has so far only been studied for the basid description logic ALC. In this paper, we further study how to extend the four-valued semantics to the more expressive description logic SROIQ which underlies the forthcoming revision of the Web Ontology Language, OWL 2, and also investigate how it fares when adapated to tractable description logics including EL++, DL-Lite, and Horn-DLs. We define the four-valued semantics along the same lines as for ALC and show that we can retain most of the desired properties
OWL and Rules
The relationship between the Web Ontology Language OWL and rule-based formalisms has been the subject of many discussions and research investigations, some of them controversial. From the many attempts to reconcile the two paradigms, we present some of the newest developments. More precisely, we show which kind of rules can be modeled in the current version of OWL, and we show how OWL can be extended to incorporate rules. We finally give references to a large body of work on rules and OWL
Epistemic Reasoning in OWL 2 DL
We extend the description logic SROIQ (OWL 2 DL) with the epistemic operator K and argue that unintended effects occur when imposing the semantics traditionally employed. Consequently, we identify the most expressive DL for which the traditional approach can still be adapted. For the epistemic extension of SROIQ and alike expressive DLs, we suggest a revised semantics that behaves more intuitively in these cases and coincides with the traditional semantics on less expressive DLs
A Framework for Reasoning on Probabilistic Description Logics
While there exist several reasoners for Description Logics, very few of them
can cope with uncertainty. BUNDLE is an inference framework that can exploit
several OWL (non-probabilistic) reasoners to perform inference over
Probabilistic Description Logics.
In this chapter, we report the latest advances implemented in BUNDLE. In
particular, BUNDLE can now interface with the reasoners of the TRILL system,
thus providing a uniform method to execute probabilistic queries using
different settings. BUNDLE can be easily extended and can be used either as a
standalone desktop application or as a library in OWL API-based applications
that need to reason over Probabilistic Description Logics.
The reasoning performance heavily depends on the reasoner and method used to
compute the probability. We provide a comparison of the different reasoning
settings on several datasets
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure
In this work we study a rational extension of the low complexity
description logic SROEL, which underlies the OWL EL ontology language. The
extension involves a typicality operator T, whose semantics is based on Lehmann
and Magidor's ranked models and allows for the definition of defeasible
inclusions. We consider both rational entailment and minimal entailment. We
show that deciding instance checking under minimal entailment is in general
-hard, while, under rational entailment, instance checking can be
computed in polynomial time. We develop a Datalog calculus for instance
checking under rational entailment and exploit it, with stratified negation,
for computing the rational closure of simple KBs in polynomial time.Comment: Accepted for publication on Fundamenta Informatica
- …