The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog
systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this …

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 …

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 …

Normative systems have been advocated as an effective tool to regulate interaction in multi-
agent systems. Logic programming rules intuitively correspond to conditional norms, and …

We present the Protégé plug-in NoHR that allows the user to take an EL^+_⊤ ontology, add
a set of non-monotonic (logic programming) rules–suitable eg to express defaults and …

A combination of open and closed-world reasoning (usually called local closed world
reasoning) is a desirable capability of knowledge representation formalisms for Semantic …

Hybrid MKNF knowledge bases are one of the most prominent tightly integrated
combinations of open-world ontology languages with closed-world (nonmonotonic) rule …

This lecture script gives an introduction to rule based knowledge representation on Web. It
reviews the logical foundations of logic programming and derivation rule languages and …

Over the years, nonmonotonic rules have proven to be a very expressive and useful
knowledge representation paradigm. They have recently been used to complement the …

Ontologies and rules are usually loosely coupled in knowledge representation formalisms.
In fact, ontologies use open-world reasoning while the leading semantics for rules use non …