Lemmas for Justifications in OWL

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 languageEnglish
Title of host publicationProceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009
EditorsBernardo Cuenca Grau, Ian Horrocks, Boris Motik
PublisherRWTH Aachen University
Volume477
Publication statusPublished - 2009
EventProceedings 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

NameCEUR Workshop Proceedings

Conference

ConferenceProceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009
Period1/01/24 → …
Internet address

Fingerprint

Dive into the research topics of 'Lemmas for Justifications in OWL'. Together they form a unique fingerprint.

Cite this