A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
Consistent Query Answering over Description Logic Ontologies
[chapter]
Web Reasoning and Rule Systems
Preserved Fulltext
In this paper, we analyze the problem of consistent query answering (CQA) over DL ontologies, i.e., the problem of providing meaningful answers to queries posed over inconsistent ontologies. ...
Description Logics (DLs) have been widely used in the last years as formal language for specifying ontologies. ...
This research has been partially supported by FET project TONES (Thinking ONtologiES), funded by the EU under contract number FP6-7603, by project HYPER, funded by IBM through a Shared University Research ...
doi:10.1007/978-3-540-72982-2_14
dblp:conf/rr/LemboR07
fatcat:fabqbfq26zezhlrrhugowh6bve
Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract)
2020
International Workshop on Description Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This result allows us to use any classical query answering method as a black-box to answer degree queries over fuzzy ontologies. ...
For future work, we intend to study methods for answering CQs over ontologies based on arbitrary t-norms. ...
dblp:conf/dlog/PasiP20
fatcat:ykkjmrivk5fcjcuz7duue6uwea
Exact Query Reformulation with First-Order Ontologies and Databases
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Query Answering: from entailment to model checking Theorem Let T be an ontology, Q be a query, D be a consistent DBox for T , and AD the set of all individuals in D and Q. ...
Theorem Let T be an ontology, Q be a query, D be a consistent DBox for T , and AD the set of all individuals in D and Q. ...
under a description logic ontology over some set of concept and role names (DBox predicates). ...
doi:10.1007/978-3-642-33353-8_16
fatcat:47vxeyfpb5aojcmkzp2qxatjd4
Special issue of the Journal of Web Semantics on ontology-based data access
2015
Journal of Web Semantics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The conceptual model is represented by an ontology, typically formalized in an appropriate description logic, and user requests are expressed as queries over the ontology. ...
The aim of an OBDA system is to answer user queries by transforming them into appropriate queries to the data layer, using the ontology and the mapping. ...
In the former paper, the authors propose a generic temporal query language that combines the well-known propositional temporal logic LTL with queries over ontologies. ...
doi:10.1016/j.websem.2015.06.001
fatcat:uqfd6zdr7vayvei2ylpuy7lzhy
Ontology-Mediated Querying with Horn Description Logics
2020
Künstliche Intelligenz
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
An ontology-mediated query (OMQ) consists of a database query paired with an ontology. ...
We focus on ontologies formulated in Horn description logics, which are a popular choice for ontologies in practice. ...
Horn Description Logics Description logics (DLs) are decidable fragments of firstorder logic (FO) that have become a popular choice for formulating ontologies [3, 4] . ...
doi:10.1007/s13218-020-00674-7
pmid:33343090
pmcid:PMC7732796
fatcat:btls7uiujbandmca55x6nzwzbe
Ontologies and Data Management: A Brief Survey
2020
Künstliche Intelligenz
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This survey gives an overview of research work on the use of ontologies for accessing incomplete and/or heterogeneous data. ...
In order to align and complete data, systems may rely on taxonomies and background knowledge that are provided in the form of an ontology. ...
Gogacz T, Ibáñez-García YA, Murlak F (2018) Finite query answering in expressive description logics with transitive roles. ...
doi:10.1007/s13218-020-00686-3
pmid:32999532
pmcid:PMC7497697
fatcat:zeskjfjrpvcojjh6q3yjzhlyci
Reasoning under Uncertainty with Log-Linear Description Logics
2011
International Semantic Web Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
We demonstrate the ways in which log-linear description logics answer to these requirements. ...
The position paper provides a brief summary of log-linear description logics and their applications. ...
We provide a brief overview of log-linear description logics and discuss how this family of probabilistic logics answers to the outlined requirements. ...
dblp:conf/semweb/Niepert11
fatcat:vytj4gawxfhpxpcbwo2b323iv4
Pellet: A Practical OWL-DL Reasoner
2007
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Logics or theorem proving. ...
Pellet is the first implementation of the full decision procedure for OWL-DL (including instances) and has extensive support for reasoning with individuals (including conjunctive query over assertions) ...
On the other hand, the techniques Pellet uses for query answering is based on consistency checking and logically sound and complete for more expressive ontologies. ...
doi:10.2139/ssrn.3199351
fatcat:xmjjuwarpnh6pmntazbg3c5lza
Pellet: A practical OWL-DL reasoner
2007
Journal of Web Semantics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Logics or theorem proving. ...
Pellet is the first implementation of the full decision procedure for OWL-DL (including instances) and has extensive support for reasoning with individuals (including conjunctive query over assertions) ...
On the other hand, the techniques Pellet uses for query answering is based on consistency checking and logically sound and complete for more expressive ontologies. ...
doi:10.1016/j.websem.2007.03.004
fatcat:vdbsiwxsqjhz5ma3pwb3lckt5i
Mastro Studio: a System for Ontology-Based Data Management
2013
W3C Web Ontology Language (OWL) Experiences and Directions Workshop (OWLED)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Ontologies in MASTRO are specified in logics of the DL-Lite family of Description Logics [4, 5] . ...
More precisely, O is specified in a logic of the DL-Lite family of lightweight Description Logics (DLs) [4, 5] . ...
dblp:conf/owled/LemboSSCCLMPR13
fatcat:u7xzaqmb7fb2tkw2s2e7j3vz7y
A Review of Accessing Big Data with Significant Ontologies
2020
Knowledge Engineering and Data Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this survey, we aim to study the earlier works done by other researchers in the fields of ontology, mapping and query answering over data sources. ...
Query answering is divided into two steps: (i) Ontology rewriting, in which the query is rewritten with respect to the ontology into new query; (ii) mapping rewriting the query that obtained from previous ...
Ontology rewrites the query obtained using one of the description logic notations that exists behind ontology. ...
doi:10.17977/um018v3i22020p67-76
doaj:b02bb868a28c49738fc9e70ed8a5a3ba
fatcat:att3mdcl6fe4zpukt3hriabksa
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming
2020
Künstliche Intelligenz
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Our tool supports conjunctive queries on probabilistic data under ontologies encoded in the description logic ELH dr , thus capturing a large part of the OWL 2 EL profile. ...
We present onto2problog, a tool that supports ontology-mediated querying of probabilistic data via probabilistic logic programming engines. ...
Background In this section, we provide the formal background of ontology-mediated query answering over probabilistic data. We start by reviewing the description logic ELH dr . ...
doi:10.1007/s13218-020-00670-x
pmid:33343088
pmcid:PMC7732808
fatcat:pv2pcdetkvgenmmyd2did552y4
Using AberOWL for fast and scalable reasoning over BioPortal ontologies
2016
Journal of Biomedical Semantics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, relatively small modules can be extracted over which queries can be answered more efficiently. ...
We demonstrate that the AberOWL framework makes it possible to provide, at least, light-weight description logic reasoning over most of the freely accessible ontologies contained in BioPortal, with a relatively ...
doi:10.1186/s13326-016-0090-0
pmid:27502585
pmcid:PMC4976511
fatcat:nxvmvxi6evbo5dk3amtqmfvc2u
An Ontology-Based Framework for Heterogeneous Data Sources Integration
2010
Revista de Informática Teórica e Aplicada
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Description Logics can be used to describe relationships between data sources [1] and to provide more flexible mechanisms for semantic query rewriting needed in such systems [2], Despite those approaches ...
An important challenge in ontology-based data integration systems is the problem of rewriting a query specified in terms of the domain ontology into queries that can be answered by the individual data ...
We adopt RDF/OWL to represent the domain ontology and the application ontologies. In order to represent the mediated mappings, we adopt a family of logics called Description Logics (DL). ...
doi:10.22456/2175-2745.12570
fatcat:uuhj4gketnex5ntvcuz2eqtep4
The OWL Instance Store: System Description
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Introduction Instance Store is a java application for performing efficient and scalable Description Logic (DL) reasoning over individuals It support large numbers of individuals A DL reasoner (racer) is ...
instance retrieval queries The speed of retrieval for a query Q depends on whether: Q is referenced in Equivalents(=>virtually immediate answer) Q subsumes the conjunction of its parents(=>fast answer ...
doi:10.1007/11532231_13
fatcat:rma63q2sgje3phldmz4orss2mi
« Previous
Showing results 1 — 15 out of 23,577 results