The Ontology Reviser Plug-In for Protégé

This paper presents an ontology reviser plug-in for Protege. The plug-in implements several belief base contraction and revision operations for expressive Description Logics. The operations can be selected by choosing the desired properties of the outcome from a menu.

[1]  Sven Ove Hansson,et al.  Semi-Revision (invited paper) , 1997, J. Appl. Non Class. Logics.

[2]  Grigoris Antoniou,et al.  On Generalizing the AGM Postulates , 2006, STAIRS.

[3]  G. Flouris,et al.  On belief change and ontology evolution , 2006 .

[4]  Russell Greiner,et al.  A Correction to the Algorithm in Reiter's Theory of Diagnosis , 1989, Artif. Intell..

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

[6]  Sven Ove Hansson,et al.  Local Change , 2002, Stud Logica.

[7]  Renata Wassermann,et al.  First Steps Towards Revising Ontologies , 2006, WONTO.

[8]  Yarden Katz,et al.  Belief Base Revision for Expressive Description Logics , 2006, OWLED.

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

[10]  Peter Haase,et al.  Eu-ist Integrated Project (ip) Ist-2003-506826 Sekt D3.1.1.b State-of-the-art on Ontology Evolution Sekt Consortium , 2004 .

[11]  M. M. Ribeiro,et al.  Base Revision in Description Logics-Preliminary Results , 2007 .

[12]  Jeff Z. Pan,et al.  Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.

[13]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[14]  James A. Hendler,et al.  A new form of Web content that is meaningful to computers will unleash a revolution of new possibili , 2002 .

[15]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[16]  Renata Wassermann,et al.  Base Revision for Ontology Debugging , 2009, J. Log. Comput..

[17]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[18]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[19]  Sven Ove Hansson,et al.  A Textbook Of Belief Dynamics , 1999 .