Explanation of OWL entailments in protégé 4

Matthew Horridge; Bijan Parsia; Ulrike Sattler

Explanation of OWL entailments in protégé 4

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Research output: Chapter in Book/Conference proceeding › Conference contribution

Abstract

This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protégé 4. These explanations take the form of justifications. A justification is a minimal set of axioms that is sufficient for a given entailment to hold. Justification finding services for Protégé 4 are presented, including what have become defacto explanation services such as root/derived pinpointing, and justification presentation. In addition to this, an implementation of recent theoretical work that computes so-called precise justifications is presented. Finally, preliminary work and new ideas of how justifications might be made easier to understand is a topic for discussion. All feedback and discussion is welcomed. Protégé 4 is open source, freely available software.

Original language	English
Title of host publication	CEUR Workshop Proceedings\|CEUR Workshop Proc.
Publisher	RWTH Aachen University
Volume	401
Publication status	Published - 2008
Event	7th International Semantic Web Conference, ISWC 2008 - Karlsruhe Duration: 1 Jul 2008 → … http://ceur-ws.org/Vol-401/

Publication series

Name	CEUR Workshop Proceedings

Conference

Conference	7th International Semantic Web Conference, ISWC 2008
City	Karlsruhe
Period	1/07/08 → …
Internet address	http://ceur-ws.org/Vol-401/

Keywords

Explanation
OWL
Reasoning

Access to Document

Cite this

@inproceedings{6e26f3902f074f5a9197c732cc180acb,

title = "Explanation of OWL entailments in prot{\'e}g{\'e} 4",

abstract = "This poster and demo presents new OWL ontology explanation tools and facilities that are available in Prot{\'e}g{\'e} 4. These explanations take the form of justifications. A justification is a minimal set of axioms that is sufficient for a given entailment to hold. Justification finding services for Prot{\'e}g{\'e} 4 are presented, including what have become defacto explanation services such as root/derived pinpointing, and justification presentation. In addition to this, an implementation of recent theoretical work that computes so-called precise justifications is presented. Finally, preliminary work and new ideas of how justifications might be made easier to understand is a topic for discussion. All feedback and discussion is welcomed. Prot{\'e}g{\'e} 4 is open source, freely available software.",

keywords = "Explanation, OWL, Reasoning",

author = "Matthew Horridge and Bijan Parsia and Ulrike Sattler",

year = "2008",

language = "English",

volume = "401",

series = "CEUR Workshop Proceedings",

publisher = "RWTH Aachen University",

booktitle = "CEUR Workshop Proceedings|CEUR Workshop Proc.",

address = "Germany",

note = "7th International Semantic Web Conference, ISWC 2008 ; Conference date: 01-07-2008",

url = "http://ceur-ws.org/Vol-401/",

}

TY - GEN

T1 - Explanation of OWL entailments in protégé 4

AU - Horridge, Matthew

AU - Parsia, Bijan

AU - Sattler, Ulrike

PY - 2008

Y1 - 2008

N2 - This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protégé 4. These explanations take the form of justifications. A justification is a minimal set of axioms that is sufficient for a given entailment to hold. Justification finding services for Protégé 4 are presented, including what have become defacto explanation services such as root/derived pinpointing, and justification presentation. In addition to this, an implementation of recent theoretical work that computes so-called precise justifications is presented. Finally, preliminary work and new ideas of how justifications might be made easier to understand is a topic for discussion. All feedback and discussion is welcomed. Protégé 4 is open source, freely available software.

AB - This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protégé 4. These explanations take the form of justifications. A justification is a minimal set of axioms that is sufficient for a given entailment to hold. Justification finding services for Protégé 4 are presented, including what have become defacto explanation services such as root/derived pinpointing, and justification presentation. In addition to this, an implementation of recent theoretical work that computes so-called precise justifications is presented. Finally, preliminary work and new ideas of how justifications might be made easier to understand is a topic for discussion. All feedback and discussion is welcomed. Protégé 4 is open source, freely available software.

KW - Explanation

KW - OWL

KW - Reasoning

M3 - Conference contribution

VL - 401

T3 - CEUR Workshop Proceedings

BT - CEUR Workshop Proceedings|CEUR Workshop Proc.

PB - RWTH Aachen University

T2 - 7th International Semantic Web Conference, ISWC 2008

Y2 - 1 July 2008

ER -

Explanation of OWL entailments in protégé 4

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this