[PDF] Top 20 Query answering in description logics: DL-Lite A
Has 10000 "Query answering in description logics: DL-Lite A" found on our website. Below are the top 20 most common "Query answering in description logics: DL-Lite A".
Query answering in description logics: DL-Lite A
... Tractable reasoning and e ffi cient query answering in description logics: The DL-Lite family. Rosati[r] ... See full document
28
Combined FO rewritability for conjunctive query answering in DL Lite
... Standard description logic (DL) reasoning services such as satisfiability and sub- sumption mainly aim to support TBox ...therefore query answering becomes the most important reasoning ...CQ ... See full document
14
Querying Attributed DL-Lite Ontologies Using Provenance Semirings
... like DL assertions, of directed labelled graphs but that also allow, unlike DLs, to add annotations to vertices and ...between DL and knowledge graphs, attributed description logics (Kr¨otzsch ... See full document
8
Representing ontology mappings with probabilistic description logics programs
... The problem of aligning heterogeneous ontologies via semantic mappings has been identified as one of the major challenges of semantic web technologies. In order to ad- dress this problem, a number of languages for ... See full document
9
Ontology-mediated query answering over temporal and inconsistent data | www.semantic-web-journal.net
... a query lan- guage with these operators, it would for example be possible to directly express that a query was entailed at some point during the last 5–10 time units, using the expression ♦ − [5,10] ...with ... See full document
46
The combined approach to ontology based data access
... for DL-Lite and EL suggest a variety of future research ...for DL-Lite and EL can be combined so as to cover other Horn descriptions logics such as ELI or Horn-SHIQ, which use both ... See full document
7
Temporal OBDA with LTL and DL Lite
... Ontology-based data access (OBDA), one of the most promising applications of description logics, has recently been extended to temporal ontologies and data. Motivated by applications in temporal data ... See full document
13
DL Lite with attributes and sub roles (extended abstract)
... The DL-Lite family of description logics has recently been proposed and investi- gated in [5–7] and later extended in [1, 8, ...the DL-Lite family is witnessed by the fact that ... See full document
12
Interval temporal description logics
... In this paper, we construct a combination HS-Lite H horn of the Halpern-Shoham interval temporal logic HS [15] with the description logic DL-Lite H horn [12, 1], which is a Horn extension of ... See full document
6
DL lite with attributes and datatypes
... in DL-Lite A ...unbounded—query answering is CO NP-hard in presence of datatypes of specific cardinalities [12, 16]—and no covering constraints hold between them—query answering ... See full document
8
Tractable interval temporal propositional and description logics
... As modern temporal databases adopt the (downward hered- itary) interval-based model of time (Kulkarni and Michels 2012) and use coalescing to group time points into inter- vals (B¨ohlen, Snodgrass, and Soo 1996), in this ... See full document
8
Model Comparison Games for Horn Description Logics
... ψ(xy) and ϕ(xz) such that ψ contains an atom G(xy) guarding all the variables in xy. Thus, in contrast to hornGF, guarded tgds have no quantifier alternation and can be regarded as a normal form for hornGF. In the full ... See full document
15
Practical Query Rewriting for DL-Lite with Numerical Predicates
... a query over the plain data alone. In recent years, ontology-based query answering (OBQA) by means of Description Logics (DLs) has become a prominent example of this ... See full document
13
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
... of description logics (DLs) is to supply ontology lan- guages and query answering technologies for ontology-based data access (OBDA), a way of querying in- complete data sources that uses ... See full document
20
Conjunctive queries with negation over DL Lite: a closer look
... remarkably challenging. First, the weak expressive power of these ontology languages makes it difficult to show undecidability using encodings similar to those for unions of CQs 6= and CQs ¬s . Second, in contrast to ... See full document
15
Skeptical Query-Answering in Constrained Default Logic. FG Intellektik, TH Darmstadt
... skeptical query-answering in Default ...Default Logics was proposed. There, we have described a high-level description of skeptical query-answering that abstracts from an ... See full document
8
OHMI: the ontology of host-microbiome interactions
... Interest; DL query: Description Logics query; DMARD: Disease-modifying anti-rheumatic drug; DOID: Disease Ontology; DRON: Drug Ontology; ERA: Enthesitis-related arthritis; GO: Gene ... See full document
14
An introduction to description logics and query rewriting
... NLogSpace - or P -hard, for some fixed q and T , then these q and T cannot be FO-rewritable. This observation allows us to identify the DL constructs that can ruin FO-rewritability. Here we give two simple ... See full document
51
Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case
... is query reverse engineering in the presence of Description Logic (DL) ...a DL ontology, have been exten- sively studied (see [6, 18] and their ... See full document
14
OPPL-Galaxy, a Galaxy tool for enhancing ontology exploitation as part of bioinformatics workflows
... DL: Description Logics; BioPAX: Biological Pathway Exchange; GAF: Gene Association File; GO: Gene Ontology; KB: Knowledge Base; MOS: Manchester OWL Syntax; NCBO: National Center for Biomedical ... See full document
16
Related subjects