Effective integration of declarative rules with external evaluations for semantic-web reasoning

Authors:
Thomas Eiter;Giovambattista Ianni;Roman Schindlauer;Hans Tompits
Affiliations:
Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria
Venue:
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Year:
2006

Citing 15
Cited 49

On the declarative semantics of deductive databases and logic programs

Foundations of deductive databases and logic programming
Splitting a logic program

Proceedings of the eleventh international conference on Logic programming
Modular stratification and magic sets for Datalog programs with negation

Journal of the ACM (JACM)
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics

Journal of Intelligent Information Systems
The expressive power of stratified logic programs with value invention

Information and Computation
Omega-Restricted Logic Programs

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Modular Logic Programming and Generalized Quantifiers

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
Reasoning with infinite stable models

Artificial Intelligence
A uniform integration of higher-order reasoning and external evaluations in answer-set programming

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Preferential reasoning on a web of trust

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
External sources of computation for answer set solvers

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Merging and aligning ontologies in dl-programs

RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web

External sources of knowledge and value invention in logic programming

Annals of Mathematics and Artificial Intelligence
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

Fundamenta Informaticae
Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Probabilistic description logic programs under inheritance with overriding for the Semantic Web

International Journal of Approximate Reasoning
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Any-World Access to OWL from Prolog

KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Rules and Ontologies for the Semantic Web

Reasoning Web
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning

International Journal of Electronic Commerce
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics

ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
A Rule System for Querying Persistent RDFS Data

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Realizing Default Logic over Description Logic Knowledge Bases

ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alternation as a programming paradigm

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Modular Nonmonotonic Logic Programming Revisited

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Decomposition of declarative knowledge bases with external functions

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes

ISWC '09 Proceedings of the 8th International Semantic Web Conference
On the complexity of answer set programming with aggregates

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Modularity aspects of disjunctive stable models

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Well-founded semantics for hybrid rules

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
ALCPu: an integration of description logic and general rules

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Tightly integrated fuzzy description logic programs under the answer set semantics for the semantic web

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Hybrid reasoning with rules and constraints under well-founded semantics

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Tightly integrated probabilistic description logic programs for representing ontology mappings

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Combining nonmonotonic knowledge bases with external sources

FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Hybrid reasoning with rules and ontologies

Semantic techniques for the web
Monadic datalog over finite structures of bounded treewidth

ACM Transactions on Computational Logic (TOCL)
XSWRL, an Extended Semantic Web Rule Language and prototype implementation

Expert Systems with Applications: An International Journal
Hybrid reasoning with non-monotonic rules

ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Processing RIF and OWL2RL within DLVHEX

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Semantics and complexity of recursive aggregates in answer set programming

Artificial Intelligence
Local closed world reasoning with description logics under the well-founded semantics

Artificial Intelligence
Pushing efficient evaluation of HEX programs by modular decomposition

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
OWL and rules

RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Paraconsistent semantics for hybrid MKNF knowledge bases

RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Inline evaluation of hybrid knowledge bases PhD description

RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
DC proposal: towards a framework for efficient query answering and integration of geospatial data

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Ontology query answering on databases

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Uniform evaluation of nonmonotonic DL-Programs

FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A general Datalog-based framework for tractable query answering over ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

Fundamenta Informaticae
Exploiting unfounded sets for HEX-Program evaluation

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Meta programming with answer sets for smart spaces

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Conflict-driven asp solving with external sources

Theory and Practice of Logic Programming
Query-Driven Procedures for Hybrid MKNF Knowledge Bases

ACM Transactions on Computational Logic (TOCL)
Reasoning with vagueness in hybrid MKNF knowledge bases

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Towards providing a suitable tool for building the Rule Layer of the Semantic Web, hex-programs have been introduced as a special kind of logic programs featuring capabilities for higher-order reasoning, interfacing with external sources of computation, and default negation. Their semantics is based on the notion of answer sets, providing a transparent interoperability with the Ontology Layer of the Semantic Web and full declarativity. In this paper, we identify classes of hex-programs feasible for implementation yet keeping the desirable advantages of the full language. A general method for combining and evaluating sub-programs belonging to arbitrary classes is introduced, thus enlarging the variety of programs whose execution is practicable. Implementation activity on the current prototype is also reported.