A System for Nonmonotonic Rules on the Web

G. Antoniou; A. Bikakis; G. Wagner

doi:10.1007/978-3-540-30504-0_3

A System for Nonmonotonic Rules on the Web

G. Antoniou, A. Bikakis, G. Wagner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Citations (Scopus)

Abstract

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. This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web. The system (a) is syntactically compatible with RuleML; (b) features strict and defeasible rules and priorities; (c) is based on a translation to logic programming with declarative semantics; and (d) is flexible and adaptable to different intuitions within defeasible reasoning.

Original language	English
Title of host publication	Rules and Rule Markup Languages for the Semantic Web
Subtitle of host publication	Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings
Editors	Grigoris Antoniou, Harold Boley
Publisher	Springer Verlag
Pages	23-36
Number of pages	14
Volume	LNCS 3323
Edition	1st
ISBN (Electronic)	9783540305040
ISBN (Print)	3540238425, 9783540238423
DOIs	https://doi.org/10.1007/978-3-540-30504-0_3
Publication status	Published - 27 Oct 2004
Externally published	Yes
Event	3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web - Hiroshima, Japan Duration: 8 Nov 2004 → 8 Nov 2004 Conference number: 3

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Volume	3323 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web
Abbreviated title	RuleML 2004
Country/Territory	Japan
City	Hiroshima
Period	8/11/04 → 8/11/04

Access to Document

10.1007/978-3-540-30504-0_3Licence: Unspecified

Cite this

Antoniou, G., Bikakis, A., & Wagner, G. (2004). A System for Nonmonotonic Rules on the Web. In G. Antoniou, & H. Boley (Eds.), Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings (1st ed., Vol. LNCS 3323, pp. 23-36). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3323 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-30504-0_3

Antoniou, G. ; Bikakis, A. ; Wagner, G. / A System for Nonmonotonic Rules on the Web. Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. editor / Grigoris Antoniou ; Harold Boley. Vol. LNCS 3323 1st. ed. Springer Verlag, 2004. pp. 23-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4d55cf17be8d43c88e52526a9bb6a7f5,

title = "A System for Nonmonotonic Rules on the Web",

abstract = "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. This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web. The system (a) is syntactically compatible with RuleML; (b) features strict and defeasible rules and priorities; (c) is based on a translation to logic programming with declarative semantics; and (d) is flexible and adaptable to different intuitions within defeasible reasoning.",

keywords = "Logic program, Description logic, Business rule, Ontology language, Superiority relation",

author = "G. Antoniou and A. Bikakis and G. Wagner",

year = "2004",

month = oct,

day = "27",

doi = "10.1007/978-3-540-30504-0\_3",

language = "English",

isbn = "3540238425",

volume = "LNCS 3323",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "23--36",

editor = "Antoniou, \{Grigoris \} and Harold Boley",

booktitle = "Rules and Rule Markup Languages for the Semantic Web",

address = "Germany",

edition = "1st",

note = "3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web, RuleML 2004 ; Conference date: 08-11-2004 Through 08-11-2004",

}

Antoniou, G, Bikakis, A & Wagner, G 2004, A System for Nonmonotonic Rules on the Web. in G Antoniou & H Boley (eds), Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. 1st edn, vol. LNCS 3323, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3323 LNCS, Springer Verlag, pp. 23-36, 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web, Hiroshima, Japan, 8/11/04. https://doi.org/10.1007/978-3-540-30504-0_3

A System for Nonmonotonic Rules on the Web. / Antoniou, G.; Bikakis, A.; Wagner, G.
Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. ed. / Grigoris Antoniou; Harold Boley. Vol. LNCS 3323 1st. ed. Springer Verlag, 2004. p. 23-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3323 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A System for Nonmonotonic Rules on the Web

AU - Antoniou, G.

AU - Bikakis, A.

AU - Wagner, G.

N1 - Conference code: 3

PY - 2004/10/27

Y1 - 2004/10/27

N2 - 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. This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web. The system (a) is syntactically compatible with RuleML; (b) features strict and defeasible rules and priorities; (c) is based on a translation to logic programming with declarative semantics; and (d) is flexible and adaptable to different intuitions within defeasible reasoning.

AB - 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. This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web. The system (a) is syntactically compatible with RuleML; (b) features strict and defeasible rules and priorities; (c) is based on a translation to logic programming with declarative semantics; and (d) is flexible and adaptable to different intuitions within defeasible reasoning.

KW - Logic program

KW - Description logic

KW - Business rule

KW - Ontology language

KW - Superiority relation

UR - https://www.scopus.com/pages/publications/77249101761

U2 - 10.1007/978-3-540-30504-0_3

DO - 10.1007/978-3-540-30504-0_3

M3 - Conference contribution

AN - SCOPUS:77249101761

SN - 3540238425

SN - 9783540238423

VL - LNCS 3323

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 23

EP - 36

BT - Rules and Rule Markup Languages for the Semantic Web

A2 - Antoniou, Grigoris

A2 - Boley, Harold

PB - Springer Verlag

T2 - 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web

Y2 - 8 November 2004 through 8 November 2004

ER -

Antoniou G, Bikakis A, Wagner G. A System for Nonmonotonic Rules on the Web. In Antoniou G, Boley H, editors, Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. 1st ed. Vol. LNCS 3323. Springer Verlag. 2004. p. 23-36. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-30504-0_3

A System for Nonmonotonic Rules on the Web

Abstract

Publication series

Workshop

Access to Document

Other files and links

Fingerprint

Cite this