Debugging weighted ontologies

We present our work on debugging weighted ontologies. We define this problem as computing a consistent subontology with a maximal sum of ax- iom weights. We present a reformulation of the problem as finding the most prob- able consistent ontology according to a log-linear model and show how existing methods from probabilistic reasoning can be adapted to our problem. We close with a discussion of the possible application of weighted ontology debugging to web scale information extraction.

[1]  Heiner Stuckenschmidt,et al.  Supporting Manual Mapping Revision using Logical Reasoning , 2008, AAAI.

[2]  Heiner Stuckenschmidt,et al.  Debugging OWL Ontologies - A Reality Check , 2008, EON.

[3]  Oren Etzioni,et al.  Open Information Extraction from the Web , 2007, CACM.

[4]  Jan Nößner,et al.  ELOG: A Probabilistic Reasoner for OWL EL , 2011, RR.

[5]  Heiner Stuckenschmidt,et al.  RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models , 2013, AAAI.

[6]  Johanna Völker,et al.  Inductive Learning of Disjointness Axioms , 2011, OTM Conferences.

[7]  Estevam R. Hruschka,et al.  Toward an Architecture for Never-Ending Language Learning , 2010, AAAI.

[8]  Mark Jerrum,et al.  The Markov chain Monte Carlo method: an approach to approximate counting and integration , 1996 .

[9]  Gerhard Weikum,et al.  Scalable knowledge harvesting with high precision and high recall , 2011, WSDM '11.

[10]  Bijan Parsia,et al.  Repairing Unsatisfiable Concepts in OWL Ontologies , 2006, ESWC.

[11]  Johanna Völker,et al.  Mining RDF Data for Property Axioms , 2012, OTM Conferences.

[12]  Heiner Stuckenschmidt,et al.  Log-Linear Description Logics , 2011, IJCAI.

[13]  Dorit S. Hochbaum,et al.  Approximation Algorithms for NP-Hard Problems , 1996 .

[14]  Stefan Schlobach,et al.  Diagnosing Terminologies , 2005, AAAI.

[15]  Doug Downey,et al.  KnowItNow: Fast, Scalable Information Extraction from the Web , 2005, HLT.

[16]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[17]  Gerhard Friedrich,et al.  A General Diagnosis Method for Ontologies , 2005, SEMWEB.

[18]  Renata Wassermann.  An Algorithm for Belief Revision , 2000, KR.

[19]  Bijan Parsia,et al.  Debugging OWL ontologies , 2005, WWW '05.

[20]  Heiner Stuckenschmidt,et al.  Towards Distributed MCMC Inference in Probabilistic Knowledge Bases , 2012, AKBC-WEKEX@NAACL-HLT.

[21]  N. Given.  Applying Logical Constraints to Ontology Matching , 2007 .

[22]  Sebastian Riedel.  Improving the Accuracy and Efficiency of MAP Inference for Markov Logic , 2008, UAI.