Results 1 - 10 of 164

AL-log: Integrating Datalog and Description Logics

by Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf - JOURNAL OF INTELLIGENT INFORMATION SYSTEMS , 1998
"... We presenan integrated system for knowledge representation, called AL-log, based on description logics and the deductive database language Datalog. AL-log embodies two subsystems, called structural and relational. The former allows for the definition of structural knowledge about classes of interest ..."
Abstract - Cited by 167 (12 self) - Add to MetaCart
the variables in the clauses to range over the set of instances of a specified concept. We propose a method for query answering in AL-log based on constrained resolution, where the usual deduction procedure defined for Datalog is integrated with a method for reasoning on the structural knowledge.

A Datalog-Based Language for Querying RDF Graphs

by Marcelo Arenas , Georg Gottlob , Andreas Pieris
"... RDF is the W3C recommendation data model to represent information about World Wide Web resources, while SPARQL is the standard language for querying RDF data, since its standardization in 2008. One of the distinctive features of Semantic Web data is the existence of vocabularies with predefined sem ..."
Abstract - Add to MetaCart
models with an explicit graph structure such as RDF To the best of our knowledge, the only language that supports the above features, focussing on the profile OWL 2 QL of OWL 2, while its query evaluation problem is tractable in data complexity, is the recently introduced rule-based language Tri

Interactive Reasoning in Uncertain RDF Knowledge Bases

by Timm Meiser, Maximilan Dylla, Martin Theobald
"... Recent advances in Web-based information extraction have allowed for the automatic construction of large, semantic knowledge bases, which are typically captured in RDF format. The very nature of the applied extraction techniques however entails that the resulting RDF knowledge bases may face a signi ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
significant amount of incorrect, incomplete, or even inconsistent (i.e., uncertain) factual knowledge, which makes query answering over this kind of data a challenge. Our reasoner, coined URDF 1, supports SPARQL queries along with rule-based, first-order predicate logic to infer new facts and to resolve data

Scalable Nonmonotonic Reasoning over RDF data using

by Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
"... Abstract. In this paper, we are presenting a scalable method for nonmonotonic rule-based reasoning over Semantic Web Data, using MapReduce. Our work is motivated by the recent unparalleled explosion of available data coming from the Web, sensor readings, databases, ontologies and more. Such datasets ..."
Abstract - Add to MetaCart
Abstract. In this paper, we are presenting a scalable method for nonmonotonic rule-based reasoning over Semantic Web Data, using MapReduce. Our work is motivated by the recent unparalleled explosion of available data coming from the Web, sensor readings, databases, ontologies and more

Query-Time Reasoning in Uncertain RDF Knowledge Bases with Soft and Hard Rules ABSTRACT

by Ndapandula Nakashole, Fabian Suchanek
"... Recent advances in information extraction have paved the way for the automatic construction and growth of large, semantic knowledge bases from Web sources. However, the very nature of these extraction techniques entails that the resulting RDF knowledge bases may face a significant amount of incorrec ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
of incorrect, incomplete, or even inconsistent (i.e., uncertain) factual knowledge, which makes efficient query answering over this kind of uncertain RDF data a challenge. Our engine, coined URDF, augments first-order reasoning by a combination of soft rules (Datalog-style implications), which are grounded

RDF For the Data Driven Age

by unknown authors
"... Databases and knowledge representation both have decades of history but to date exchange of ideas and techniques between these disciplines has been limited. The intuition that there would be value in greater cooperation has not failed to occur to researchers on either side, after all, both sides dea ..."
Abstract - Add to MetaCart
as the motivating use case for RDF. Database research has over the past few years produced great advances for business intelligence, i.e. complex queries and read‐mostly workloads. These advances are typified by compressed columnar storage and architecture‐conscious execution models, mostly based on the idea

A Hybrid System with Datalog and Concept Languages

by Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf - In Trends in AI, volume LNAI 549 , 1991
"... We present a hybrid system for knowledge representation, called AL-log, based on the concept language ALC and the deductive database language Datalog. AL-log embodies two subsystems, called structural and relational. The former allows for the definition of structural knowledge about the classes of ..."
Abstract - Cited by 21 (0 self) - Add to MetaCart
the variables in the clauses to range over the set of instances of a specified concept. We propose a method for hybrid reasoning based on constrained resolution, where the usual deduction procedure defined for Datalog is integrated with a method for reasoning on the structural knowledge. This paper appeared

Resolution reasoning by RDF Clausal Form Logic

by Alena Lukasova, Martin Zacek, Marek Vajgl, Martin Kotyrba
"... The article presents a simple way how knowledge represented via RDF triples provides an easier method of inference, managing and finding interrelations between knowledge objects than that an approach based on OWL language. The authors of the article come out of the T. Richard’s inference system of t ..."
Abstract - Add to MetaCart
of the Clausal Form Logic (CFL) based on the formal manipulation with conditional „if – then “ statements, and an idea of RDF extended model (with quantifiers) of knowledge representation to propose an inference mechanism RDF RR working over knowledge bases of RDF triples.

DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs ⋆

by Guohui Xiao, Stijn Heymans, Thomas Eiter
"... Abstract. Nonmonotonic dl-programs provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with negation, where a rule engine can query an ontology with a native DL reasoner. However, even for tractable dl-programs, the overhead of an external DL reasoner mi ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
as such answer conjunctive queries over LDL + ontologies, as well as reason on dlprograms over LDL + ontologies under well-founded semantics. The preliminary but encouraging experimental results show that DReW can efficiently handle large knowledge bases. 1

Resolving Temporal Conflicts in Inconsistent RDF Knowledge Bases

by Maximilian Dylla, Mauro Sozio, Martin Theobald
"... Abstract: Recent trends in information extraction have allowed us to not only extract large semantic knowledge bases from structured or loosely structured Web sources, but to also extract additional annotations along with the RDF facts these knowledge bases contain. Among the most important types of ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
Abstract: Recent trends in information extraction have allowed us to not only extract large semantic knowledge bases from structured or loosely structured Web sources, but to also extract additional annotations along with the RDF facts these knowledge bases contain. Among the most important types
Results 1 - 10 of 164