Filters








23,577 Hits in 5.4 sec

Consistent Query Answering over Description Logic Ontologies [chapter]

Domenico Lembo, Marco Ruzzi
Web Reasoning and Rule Systems  
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)

Gabriella Pasi, Rafael Peñaloza
2020 International Workshop on Description Logics  
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]

Enrico Franconi, Volha Kerhet, Nhung Ngo
2012 Lecture Notes in Computer Science  
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

Diego Calvanese, Manolis Koubarakis, David Toman
2015 Journal of Web Semantics  
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

Leif Sabellek
2020 Künstliche Intelligenz  
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

Thomas Schneider, Mantas Šimkus
2020 Künstliche Intelligenz  
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

Mathias Niepert
2011 International Semantic Web Conference  
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

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
2007 Social Science Research Network  
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

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
2007 Journal of Web Semantics  
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

Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo, Cristina Civili, Marco Console, Lorenzo Lepore, Riccardo Mancini, Antonella Poggi, Marco Ruzzi
2013 W3C Web Ontology Language (OWL) Experiences and Directions Workshop (OWLED)  
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

Jumah Y.J Sleeman, Jehad Abdulhamid Hammad
2020 Knowledge Engineering and Data Science  
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

Timothy van Bremen, Anton Dries, Jean Christoph Jung
2020 Künstliche Intelligenz  
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

Luke Slater, Georgios V. Gkoutos, Paul N. Schofield, Robert Hoehndorf
2016 Journal of Biomedical Semantics  
, 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

Vânia M. P. Vidal, João C. Pinheiro, Eveline R. Sacramento, José Antonio Fernandes de Macêdo, Bernadette F. Lóscio
2010 Revista de Informática Teórica e Aplicada  
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]

Sean Bechhofer, Ian Horrocks, Daniele Turi
2005 Lecture Notes in Computer Science  
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