Supporting early adoption of OWL 1.1 with Protégé-OWL and FaCT++

Matthew Horridge; Dmitry Tsarkov; Timothy Redmond

Supporting early adoption of OWL 1.1 with Protégé-OWL and FaCT++

Matthew Horridge, Dmitry Tsarkov, Timothy Redmond

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

Abstract

This paper describes integrated tools support for OWL 1.1 in the form of the FaCT++ Description Logic reasoner and the Protégé-OWL ontology editor. Challenges of designing and implementing OWL 1.1 reasoning algorithms are highlighted, and an outline of an OWL 1.1 API and editing environment is provided.

Original language	English
Title of host publication	CEUR Workshop Proceedings\|CEUR Workshop Proc.
Publisher	RWTH Aachen University
Volume	216
Publication status	Published - 2006
Event	Workshop on OWL: Experiences and Directions, OWLED 2006 - Athens, GA Duration: 1 Jul 2006 → …

Conference

Conference	Workshop on OWL: Experiences and Directions, OWLED 2006
City	Athens, GA
Period	1/07/06 → …

Cite this

@inproceedings{75360564970943239715363fc186048f,

title = "Supporting early adoption of OWL 1.1 with Prot{\'e}g{\'e}-OWL and FaCT++",

abstract = "This paper describes integrated tools support for OWL 1.1 in the form of the FaCT++ Description Logic reasoner and the Prot{\'e}g{\'e}-OWL ontology editor. Challenges of designing and implementing OWL 1.1 reasoning algorithms are highlighted, and an outline of an OWL 1.1 API and editing environment is provided.",

author = "Matthew Horridge and Dmitry Tsarkov and Timothy Redmond",

year = "2006",

language = "English",

volume = "216",

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

publisher = "RWTH Aachen University",

address = "Germany",

note = "Workshop on OWL: Experiences and Directions, OWLED 2006 ; Conference date: 01-07-2006",

}

TY - GEN

T1 - Supporting early adoption of OWL 1.1 with Protégé-OWL and FaCT++

AU - Horridge, Matthew

AU - Tsarkov, Dmitry

AU - Redmond, Timothy

PY - 2006

Y1 - 2006

N2 - This paper describes integrated tools support for OWL 1.1 in the form of the FaCT++ Description Logic reasoner and the Protégé-OWL ontology editor. Challenges of designing and implementing OWL 1.1 reasoning algorithms are highlighted, and an outline of an OWL 1.1 API and editing environment is provided.

AB - This paper describes integrated tools support for OWL 1.1 in the form of the FaCT++ Description Logic reasoner and the Protégé-OWL ontology editor. Challenges of designing and implementing OWL 1.1 reasoning algorithms are highlighted, and an outline of an OWL 1.1 API and editing environment is provided.

M3 - Conference contribution

VL - 216

BT - CEUR Workshop Proceedings|CEUR Workshop Proc.

PB - RWTH Aachen University

T2 - Workshop on OWL: Experiences and Directions, OWLED 2006

Y2 - 1 July 2006

ER -

Supporting early adoption of OWL 1.1 with Protégé-OWL and FaCT++

Abstract

Conference

Fingerprint

Cite this