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 - Syros, Greece
Duration: 2 Oct 20084 Oct 2008
Conference number: 5

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
Abbreviated titleSETN 2008
CountryGreece
CitySyros
Period2/10/084/10/08

Fingerprint Dive into the research topics of 'The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web'. Together they form a unique fingerprint.

Cite this