From Justifications Towards Proofs For Ontology Engineering. Matthew Horridge and Bijan Parsia. School of Computer Science. University of Manchester, M13 9PL ...
From Justifications Towards Proofs for Ontology Engineering. March 22, 2023. Authors. Matthew Horridge. Bijan Parsia. Track: All Content ...
The ultimate goal is to create justification oriented proofs that people can understand, and the foundation of these proofs is justification lemmatisation, ...
People also ask
Why is ontology engineering important?
What is the application of ontology in engineering?
What are the components of ontological engineering?
What is an example of ontological engineering?
... From Justifications to Proofs for Entailments in OWL. In: OWLED 2009, OWL Experienced and Directions Workshop (2009). 9. Horridge, M., Parsia, B., Sattler, U ...
Over the past few years there has been a significant amount of interest in the area of explaining entailments in OWL ontologies. Without some kind of tool.
Missing: Engineering. | Show results with:Engineering.
Mar 2, 2022 · These mental models are important throughout the whole lifecycle of any product, being used from the design phase up to any diagnosis activity.
A justification gives evidence that something or someone has the authority to make a statement. ... negotiation in ontology engineering to fur- ther ...
We discuss automated techniques for supporting ontology engineers with: Debugging: • Determine the axioms responsible for an error, e.g., inconsistency.
This paper presents justification oriented proofs as a potential solution to the problem of difficult to understand justifications in ontology engineering ...
justification can draw an ontology engineer's attention to the source of a problem with their ontology, and can be enough to allow them to understand the prob-.