I-DLV: the new intelligent grounder of DLV
DLV is a powerful system for Knowledge Representation and Reasoning which supports
Answer Set Programming (ASP)–a logic-based programming paradigm for solving problems …
Answer Set Programming (ASP)–a logic-based programming paradigm for solving problems …
Precise complexity analysis for efficient Datalog queries
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-
up starting with the facts or top-down starting with the query. For efficiently answering the …
up starting with the facts or top-down starting with the query. For efficiently answering the …
A federated approach for interoperating AEC/FM ontologies
TM de Farias, A Roxin, C Nicolle - … -4th Linked Data in Architecture and …, 2016 - hal.science
Over the last few years, the benefits of applying ontologies (semantic graph modelling) for
Architecture, Engineering, Construction and Facility Management (AEC/FM) industry have …
Architecture, Engineering, Construction and Facility Management (AEC/FM) industry have …
Reasoning with the depth-first iterative deepening strategy in the DLog system
A Meissner, G Brzykcy - … International Conferences" On the Move to …, 2011 - Springer
We propose an extension to the DLog system, which is a resolution-based ABox reasoner
for the SHIQ description logic, particularly intended for instance checking and instance …
for the SHIQ description logic, particularly intended for instance checking and instance …
Efficient Datalog Queries with Time and Space Complexity Guarantees
KT Tekle - 2010 - search.proquest.com
Many complex analysis problems can be most clearly and easily specified as logic rules and
queries, where rules specify how given facts can be combined to infer new facts, and …
queries, where rules specify how given facts can be combined to infer new facts, and …
Non-termination analysis and cost-based optimization for logic programs
S Liang - 2013 - search.proquest.com
Rule systems have seen an upsurge of interest in the past decade, as many in the academia
and industry started to discover more applications for rules such as the Semantic Web …
and industry started to discover more applications for rules such as the Semantic Web …
[PDF][PDF] OpenRuleBench: Report 2011
PFSLM Kifer - 2011 - cs.stonybrook.edu
This report documents the 2011 re-test of the OpenRuleBench benchmarking suite [1, 2] for
four of the leading rule-based engines: Ontobroker, XSB, YAP and dlv. The versions tested …
four of the leading rule-based engines: Ontobroker, XSB, YAP and dlv. The versions tested …