Lemmas for Justifications in OWL

Matthew Horridge; Bijan Parsia; Ulrike Sattler; Bernardo Cuenca Grau; Ian Horrocks; Boris Motik

Lemmas for Justifications in OWL

Matthew Horridge, Bijan Parsia, Ulrike Sattler (Editor), Bernardo Cuenca Grau (Editor), Ian Horrocks (Editor), Boris Motik (Editor)

Information Management

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

Abstract

Over the past few years there has been a significant amount of interest in the area of debugging and repairing of OWL ontologies. The process of debugging an ontology is necessary in the same way that debugging programme code is necessary – that is, debugging takes place in order to eradicate faults

Original language	English
Title of host publication	Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009
Editors	Bernardo Cuenca Grau, Ian Horrocks, Boris Motik
Publisher	RWTH Aachen University
Volume	477
Publication status	Published - 2009
Event	Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/dlog/dlog2009.html#HorridgePS09http://dblp.uni-trier.de/rec/bibtex/conf/dlog/HorridgePS09.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/dlog/HorridgePS09

Publication series

Name	CEUR Workshop Proceedings

Conference

Conference	Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/dlog/dlog2009.html#HorridgePS09http://dblp.uni-trier.de/rec/bibtex/conf/dlog/HorridgePS09.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/dlog/HorridgePS09

Access to Document

Cite this

Horridge, M., Parsia, B., Sattler, U. (Ed.), Grau, B. C. (Ed.), Horrocks, I. (Ed.), & Motik, B. (Ed.) (2009). Lemmas for Justifications in OWL. In B. C. Grau, I. Horrocks, & B. Motik (Eds.), Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 (Vol. 477). (CEUR Workshop Proceedings). RWTH Aachen University. http://dblp.uni-trier.de/db/conf/dlog/dlog2009.html#HorridgePS09

@inproceedings{11cbeb11c2654344a2defeebc06aa2d4,

title = "Lemmas for Justifications in OWL",

abstract = "Over the past few years there has been a significant amount of interest in the area of debugging and repairing of OWL ontologies. The process of debugging an ontology is necessary in the same way that debugging programme code is necessary – that is, debugging takes place in order to eradicate faults",

author = "Matthew Horridge and Bijan Parsia and Ulrike Sattler and Grau, {Bernardo Cuenca} and Ian Horrocks and Boris Motik",

year = "2009",

language = "English",

volume = "477",

series = "CEUR Workshop Proceedings",

publisher = "RWTH Aachen University",

editor = "Grau, {Bernardo Cuenca} and Ian Horrocks and Boris Motik",

booktitle = "Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009",

address = "Germany",

note = "Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/dlog/dlog2009.html#HorridgePS09http://dblp.uni-trier.de/rec/bibtex/conf/dlog/HorridgePS09.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/dlog/HorridgePS09",

}

Horridge, M, Parsia, B , Sattler, U (ed.), Grau, BC (ed.), Horrocks, I (ed.) & Motik, B (ed.) 2009, Lemmas for Justifications in OWL. in BC Grau, I Horrocks & B Motik (eds), Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. vol. 477, CEUR Workshop Proceedings, RWTH Aachen University, Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009, 1/01/24. <http://dblp.uni-trier.de/db/conf/dlog/dlog2009.html#HorridgePS09>

Lemmas for Justifications in OWL. / Horridge, Matthew; Parsia, Bijan ; Sattler, Ulrike (Editor) et al.
Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. ed. / Bernardo Cuenca Grau; Ian Horrocks; Boris Motik. Vol. 477 RWTH Aachen University, 2009. (CEUR Workshop Proceedings).

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

TY - GEN

T1 - Lemmas for Justifications in OWL

AU - Horridge, Matthew

AU - Parsia, Bijan

A2 - Sattler, Ulrike

A2 - Grau, Bernardo Cuenca

A2 - Horrocks, Ian

A2 - Motik, Boris

A2 - Grau, Bernardo Cuenca

A2 - Horrocks, Ian

A2 - Motik, Boris

PY - 2009

Y1 - 2009

N2 - Over the past few years there has been a significant amount of interest in the area of debugging and repairing of OWL ontologies. The process of debugging an ontology is necessary in the same way that debugging programme code is necessary – that is, debugging takes place in order to eradicate faults

AB - Over the past few years there has been a significant amount of interest in the area of debugging and repairing of OWL ontologies. The process of debugging an ontology is necessary in the same way that debugging programme code is necessary – that is, debugging takes place in order to eradicate faults

M3 - Conference contribution

VL - 477

T3 - CEUR Workshop Proceedings

BT - Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009

PB - RWTH Aachen University

T2 - Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009

Y2 - 1 January 1824

ER -

Lemmas for Justifications in OWL

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this