[图书][B] Answer set programming: A primer
Abstract Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted
in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing …
in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing …
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of
knowledge representation: whereas DLs are focused on specifying and reasoning about …
knowledge representation: whereas DLs are focused on specifying and reasoning about …
Local closed world reasoning with description logics under the well-founded semantics
An important question for the upcoming Semantic Web is how to best combine open world
ontology languages, such as the OWL-based ones, with closed world rule-based languages …
ontology languages, such as the OWL-based ones, with closed world rule-based languages …
OWL and Rules
The relationship between the Web Ontology Language OWL and rule-based formalisms has
been the subject of many discussions and research investigations, some of them …
been the subject of many discussions and research investigations, some of them …
On the relation between SPARQL1. 1 and answer set programming
A Polleres, JP Wallner - Journal of Applied Non-Classical Logics, 2013 - Taylor & Francis
In the context of the emerging Semantic Web and the quest for a common logical framework
underpinning its architecture, the relation of rule-based languages such as Answer Set …
underpinning its architecture, the relation of rule-based languages such as Answer Set …
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
In the context of the Semantic Web, several approaches for combining ontologies, given in
terms of theories of classical first-order logic and rule bases, have been proposed. They …
terms of theories of classical first-order logic and rule bases, have been proposed. They …
Quantified equilibrium logic and foundations for answer set programs
D Pearce, A Valverde - … : 24th International Conference, ICLP 2008 Udine …, 2008 - Springer
QHT is a first-order super-intuitionistic logic that provides a foundation for answer set
programming (ASP) and a useful tool for analysing and transforming non-ground programs …
programming (ASP) and a useful tool for analysing and transforming non-ground programs …
[图书][B] Modeling semantic web services
J De Bruijn, D Fensel, MKU Keller, H Lausen… - 2008 - Springer
Semantic Web services promise to automate tasks such as discovery, mediation, selection,
composition, and invocation of services, enabling fully flexible automated e-business. The …
composition, and invocation of services, enabling fully flexible automated e-business. The …
Hybrid reasoning with rules and ontologies
The purpose of this chapter is to report on work that has been done in the REWERSE project
concerning hybrid reasoning with rules and ontologies. Two major streams of work have …
concerning hybrid reasoning with rules and ontologies. Two major streams of work have …