A Defeasible Logic Programming System for the Web

Grigoris Antoniou; Antonis Bikakis; Gerd Wagner

doi:10.1109/ICTAI.2004.6

A Defeasible Logic Programming System for the Web

Grigoris Antoniou, Antonis Bikakis, Gerd Wagner

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

4 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	Proceedings - 16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004
Editors	Deeber Azada
Publisher	IEEE
Pages	756-757
Number of pages	2
ISBN (Print)	076952236X
DOIs	https://doi.org/10.1109/ICTAI.2004.6
Publication status	Published - 15 Nov 2004
Externally published	Yes
Event	16th IEEE International Conference on Tools with Artificial Intelligence - Boca Raton, United States Duration: 15 Nov 2004 → 17 Nov 2004 Conference number: 16

Publication series

Name	Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
Publisher	IEEE
ISSN (Print)	1082-3409

Conference

Conference	16th IEEE International Conference on Tools with Artificial Intelligence
Abbreviated title	ICTAI 2004
Country/Territory	United States
City	Boca Raton
Period	15/11/04 → 17/11/04

Access to Document

10.1109/ICTAI.2004.6Licence: Unspecified

Cite this

Antoniou, G., Bikakis, A., & Wagner, G. (2004). A Defeasible Logic Programming System for the Web. In D. Azada (Ed.), Proceedings - 16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004 (pp. 756-757). [1374265] (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI). IEEE. https://doi.org/10.1109/ICTAI.2004.6

@inproceedings{b2cf639623fd446bb1947eb72f92c4e9,

title = "A Defeasible Logic Programming System for 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 programming, Ontologies, Semantic web, Computer science, Technology management, Management information systems, Microstrip, OWL, Computational complexity, User interfaces",

author = "Grigoris Antoniou and Antonis Bikakis and Gerd Wagner",

year = "2004",

month = nov,

day = "15",

doi = "10.1109/ICTAI.2004.6",

language = "English",

isbn = "076952236X",

series = "Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI",

publisher = "IEEE",

pages = "756--757",

editor = "Deeber Azada",

booktitle = "Proceedings - 16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004",

address = "United States",

note = "16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004 ; Conference date: 15-11-2004 Through 17-11-2004",

}

Antoniou, G, Bikakis, A & Wagner, G 2004, A Defeasible Logic Programming System for the Web. in D Azada (ed.), Proceedings - 16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004., 1374265, Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI, IEEE, pp. 756-757, 16th IEEE International Conference on Tools with Artificial Intelligence, Boca Raton, Florida, United States, 15/11/04. https://doi.org/10.1109/ICTAI.2004.6

A Defeasible Logic Programming System for the Web. / Antoniou, Grigoris; Bikakis, Antonis; Wagner, Gerd.

Proceedings - 16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004. ed. / Deeber Azada. IEEE, 2004. p. 756-757 1374265 (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).

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

TY - GEN

T1 - A Defeasible Logic Programming System for the Web

AU - Antoniou, Grigoris

AU - Bikakis, Antonis

AU - Wagner, Gerd

N1 - Conference code: 16

PY - 2004/11/15

Y1 - 2004/11/15

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 programming

KW - Ontologies

KW - Semantic web

KW - Computer science

KW - Technology management

KW - Management information systems

KW - Microstrip

KW - OWL

KW - Computational complexity

KW - User interfaces

UR - http://www.scopus.com/inward/record.url?scp=16244370697&partnerID=8YFLogxK

U2 - 10.1109/ICTAI.2004.6

DO - 10.1109/ICTAI.2004.6

M3 - Conference contribution

AN - SCOPUS:16244370697

SN - 076952236X

T3 - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

SP - 756

EP - 757

BT - Proceedings - 16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004

A2 - Azada, Deeber

PB - IEEE

T2 - 16th IEEE International Conference on Tools with Artificial Intelligence

Y2 - 15 November 2004 through 17 November 2004

ER -

A Defeasible Logic Programming System for the Web

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this