Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

Keywords

Computer science, Debugging, Description logic, Programming language, Automated reasoning

References

• Non-Standard Inferences in Description LogicsKüsters, Ralf — 2001
• Explaining reasoning in description logicsDeborah L. McGuinness — 1996
• A Truth Maintenance SystemJon Doyle — 1979
• Terminological Reasoning is Inherently IntractableBernhard Nebel — 1990
• A Theory of Diagnosis from First PrinciplesRaymond Reiter — 1986
• The Problem of Simplifying Truth FunctionsW. V. Quine — 1952
• Evaluation of a frame-based ontology: a formalization-oriented approach.Ronald Cornet, Ameen Abu–Hanna — 2002
• The FaCT SystemIan Horrocks — 1998
• Explaining ALC SubsumptionAlexander Borgida, Enrico Franconi, Ian Horrocks — 2000
• RACER System DescriptionV. Haarslev, Ralf Möller — 2001
• P.rex: An Interactive Proof ExplainerA. Fiedler — 2001

Cited by

• A Framework for Explaining Reasoning in Description LogicsXi Deng, Volker Haarslev, Nematollaah Shiri — 2005
• Expressive syndication on the web using a description logic-based approachJames Hendler, Franz Christian Halaschek-Wiener — 2007
• Axiom Pinpointing is HardRafael Peñaloza, Barış Sertkaya — 2009
• A Kernel Revision Operator for TerminologiesGuilin Qi, Peter Haase, Zhisheng Huang — 2008
• An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALCXiaowang Zhang, Zhihu Zhang, Zuoquan Lin — 2009
• Paraconsistent Resolution for Four-valued Description LogicsYue Ma, Pascal Hitzler, Zuoquan Lin — 2007
• Completing Description Logic Knowledge Bases Using Formal Concept AnalysisFranz Baader, Bernhard Ganter, Institut of Algebra TU Dresden — 2007
• Handling Ontology Change: Survey and Proposal for a Future Research DirectionGiorgos Flouris, Dimitris Plexousakis — 2005
• How to Evolve Ontology and Maintain Its Coherence - A Corrective Operations-based ApproachNajla Sassi, Wassim Jaziri, Faı̈ez Gargouri — 2009
• Model Exploration to Support Understanding of OntologiesFakultät Informatik — 2009
• OntoComP System DescriptionBarış Sertkaya — 2009
• The Aberdeen University Ontology Reuse StackEdward Thomas, Derek Sleeman, Jeff Z. Pan — 2008
• Two DL-based Methods for Auditing Medical Terminological SystemsRonald Cornet, Ameen Abu–Hanna — 2005
• Reasoning with Inconsistent Ontologies: a general frameworkZhisheng Huang, Frank van Harmelen, P. Groot — 2004
• Debugging and Repair of OWL OntologiesJames Hendler, Aditya Kalyanpur — 2006
• Model-Based Contractions for Description LogicsMartı́n O. Moguillansky, Guillermo Ricardo Simari — 2008
• Debugging OWL Ontologies - A Reality CheckHeiner Stuckenschmidt — 2008
• Explaining User Errors in Knowledge Base CompletionBarış Sertkaya — 2008
• Using Provenance for Quality Assessment and Repair in Linked Open DataGiorgos Flouris, Yannis Roussakis, María Poveda‐Villalón — 2012
• Preferential Role RestrictionsKatarina Britz, Giovanni Casini, Thomas Meyer — 2013

Related papers

• The Description Logic Handbook: ContentsFranz Baader, Franz Baader, D. Nardi — 2007
• A Theory of Diagnosis from First PrinciplesRaymond Reiter — 1986
• Debugging unsatisfiable classes in OWL ontologiesAditya Kalyanpur, Bijan Parsia, Evren Sirin — 2005
• Debugging OWL ontologiesBijan Parsia, Evren Sirin, Aditya Kalyanpur — 2005
• Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+Franz Baader, Boontawee Suntisrivaraporn — 2008
• Pinpointing in the Description Logic ELFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn — 2007
• Debugging Incoherent TerminologiesStefan Schlobach, Zhisheng Huang, Ronald Cornet — 2007