Results 1 to 10 of about 571,966 (183)
Nonmonotonic Rule Systems on Top of Ontology Layers [PDF]
Lecture Notes in Computer Science, 2002 The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the from of the DAML+OIL language which corresponds to a rich description logic. The next step will be the the realization of logical rule systems on top of the ontology layer.Computationally simple nonmonotonic ...
Antoniou Grigoris
exaly +5 more sources
Annotated nonmonotonic rule systems
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anil Nerode +2 more
exaly +6 more sources
Nonmonotonic rule systems: Forward chaining, constraints, and complexity
Lecture Notes in Computer Science, 1996 Jeffrey B Remmel, Remmel Jeffrey B
exaly +6 more sources
A theory of nonmonotonic rule systems II [PDF]
Annals of Mathematics and Artificial Intelligence, 1990 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
V. Wiktor Marek +2 more
semanticscholar +5 more sources
A theory of nonmonotonic rule systems [PDF]
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, 2002 The semantics for nonmonotonic rule systems are investigated. The notion of nonmonotonic formal systems is then introduced. Examples are given, along with applications of logic, logic programming, and common-sense reasoning. >
V. Wiktor Marek +2 more
openaire +2 more sources
A context for belief revision: forward chaining-normal nonmonotomic rule systems
Annals of Pure and Applied Logic, 1994 For some time it has been widely appreciated that those systems of nonmonotonic logic that are defined in the literature using fixed points (notably Reiter style default logic, autoepistemic systems, logic programs with negation, and certain truth-maintenance systems), have a considerable amount of structure in common.
V. Wiktor Marek +2 more
openaire +2 more sources
A System for Nonmonotonic Rules on the Web
, 2004 Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used.
Grigoris Antoniou +2 more
openaire +2 more sources
Equality-friendly well-founded semantics and applications to description logics
, 2012 We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +7 more
core +1 more source
Ανάπτυξη Συστήματος Αναιρέσιμων Κανόνων για το Διαδίκτυο
, 2004 The Semantic Web is an extension of the current Web, in which information is given well-defined meaning, better enabling computers and people to work in cooperation.
Bikakis, Antonis +1 more
core
Ένα Σύστημα για Τροπική και Δεοντική Συλλογιστική
, 2007 Defeasible logic is a simple and efficient rule-based nonmonotonic reasoning approach, that has been shown useful for various applications areas. Recently defeasible logic has been used in applications to the Semantic Web.
Δημαρέσης, Νίκος +1 more
core