The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web

Antonis Bikakis; Constantinos Papatheodorou; Grigoris Antoniou

doi:10.1007/978-3-540-87881-0_31

The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web

Antonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou

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

4 Citations (Scopus)

Abstract

In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute the DR-Prolog Tool Suite: (a) the DR-Prolog API; (b) the DR-Prolog Web application; and (c) the DR-Prolog desktop application. DR-Prolog supports reasoning with Defeasible Logic theories and ontological knowledge in RDF(S) and OWL, is compatible with RuleML, and enables extracting meaningful proof explanations for the answers it computes.

Original language	English
Title of host publication	Artificial Intelligence
Subtitle of host publication	Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings
Pages	345-351
Number of pages	7
DOIs	https://doi.org/10.1007/978-3-540-87881-0_31
Publication status	Published - 10 Nov 2008
Externally published	Yes
Event	5th Hellenic Conference on Artificial Intelligence - Syros, Greece Duration: 2 Oct 2008 → 4 Oct 2008 Conference number: 5

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5138 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th Hellenic Conference on Artificial Intelligence
Abbreviated title	SETN 2008
Country/Territory	Greece
City	Syros
Period	2/10/08 → 4/10/08

Access to Document

10.1007/978-3-540-87881-0_31Licence: Unspecified

Cite this

Bikakis, A., Papatheodorou, C., & Antoniou, G. (2008). The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web. In Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings (pp. 345-351). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5138 LNAI). https://doi.org/10.1007/978-3-540-87881-0_31

Bikakis, Antonis ; Papatheodorou, Constantinos ; Antoniou, Grigoris. / The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web. Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. 2008. pp. 345-351 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e575d2f3cd944db5b4c4fe8b251d50d7,

title = "The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web",

abstract = "In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute the DR-Prolog Tool Suite: (a) the DR-Prolog API; (b) the DR-Prolog Web application; and (c) the DR-Prolog desktop application. DR-Prolog supports reasoning with Defeasible Logic theories and ontological knowledge in RDF(S) and OWL, is compatible with RuleML, and enables extracting meaningful proof explanations for the answers it computes.",

author = "Antonis Bikakis and Constantinos Papatheodorou and Grigoris Antoniou",

year = "2008",

month = nov,

day = "10",

doi = "10.1007/978-3-540-87881-0_31",

language = "English",

isbn = "3540878807",

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

pages = "345--351",

booktitle = "Artificial Intelligence",

note = "5th Hellenic Conference on Artificial Intelligence, SETN 2008 ; Conference date: 02-10-2008 Through 04-10-2008",

}

Bikakis, A, Papatheodorou, C & Antoniou, G 2008, The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web. in Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5138 LNAI, pp. 345-351, 5th Hellenic Conference on Artificial Intelligence, Syros, Greece, 2/10/08. https://doi.org/10.1007/978-3-540-87881-0_31

The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web. / Bikakis, Antonis; Papatheodorou, Constantinos; Antoniou, Grigoris.

Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. 2008. p. 345-351 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5138 LNAI).

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

TY - GEN

T1 - The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web

AU - Bikakis, Antonis

AU - Papatheodorou, Constantinos

AU - Antoniou, Grigoris

N1 - Conference code: 5

PY - 2008/11/10

Y1 - 2008/11/10

N2 - In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute the DR-Prolog Tool Suite: (a) the DR-Prolog API; (b) the DR-Prolog Web application; and (c) the DR-Prolog desktop application. DR-Prolog supports reasoning with Defeasible Logic theories and ontological knowledge in RDF(S) and OWL, is compatible with RuleML, and enables extracting meaningful proof explanations for the answers it computes.

AB - In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute the DR-Prolog Tool Suite: (a) the DR-Prolog API; (b) the DR-Prolog Web application; and (c) the DR-Prolog desktop application. DR-Prolog supports reasoning with Defeasible Logic theories and ontological knowledge in RDF(S) and OWL, is compatible with RuleML, and enables extracting meaningful proof explanations for the answers it computes.

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

U2 - 10.1007/978-3-540-87881-0_31

DO - 10.1007/978-3-540-87881-0_31

M3 - Conference contribution

AN - SCOPUS:55349112898

SN - 3540878807

SN - 9783540878803

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

SP - 345

EP - 351

BT - Artificial Intelligence

T2 - 5th Hellenic Conference on Artificial Intelligence

Y2 - 2 October 2008 through 4 October 2008

ER -

Bikakis A, Papatheodorou C, Antoniou G. The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web. In Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. 2008. p. 345-351. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-87881-0_31

The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this