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 proceedingConference contribution

3 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 languageEnglish
Title of host publicationArtificial Intelligence
Subtitle of host publicationTheories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings
Pages345-351
Number of pages7
DOIs
Publication statusPublished - 10 Nov 2008
Externally publishedYes
Event5th Hellenic Conference on Artificial Intelligence, SETN 2008 - Syros, Greece
Duration: 2 Oct 20084 Oct 2008

Publication series

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

Conference

Conference5th Hellenic Conference on Artificial Intelligence, SETN 2008
CountryGreece
CitySyros
Period2/10/084/10/08

Fingerprint

Prolog
Semantic Web
Reasoning
Application programming interfaces (API)
Web Application
Logic

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 = "11",
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",

}

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, SETN 2008, 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 proceedingConference contribution

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

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

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

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)). https://doi.org/10.1007/978-3-540-87881-0_31