Till Mossakowski
Till Mossakowski
e.g. for OWL, see http://ceur-ws.org/Vol-1299/paper1.pdf for Common Logic, see conceptual graphs as defined in the Common Logic standard. This could be possibly treated as serializations, see #1724 Use https://github.com/d3/d3
- for OWL ontologies, use OWL diff and merge see http://subs.emis.de/LNI/Proceedings/Proceedings176/article6168.html - for UML class diagrams, use some XML based diff and merge, or even some metamodel-based diff and merge...
a justification is a minimal set of axioms entailing the theorem. For OWL, the OWL API provides justifications. Start with root justifications. See Horridge's dissertation.
https://ontohub.org/esslli-clone/FOL/OrderTheory_structured//RichBooleanAlgebra//trans///proof_attempts
Ontohub provides URLs for OMS, see e.g. https://ontohub.org/esslli-2016/FOL/OrderTheory//TotalOrder Now inside a DOL file, the user can declare the empty prefix. Consequently, the empty prefix should point to, in the above...
when I edit and existing ontology and just insert a space, a CR gets added at each line. As a consequence, in the diff, each line is marked as changed....
for example, when proving https://ontohub.org/esslli-2016/OWL/Family_structured//Family2__E1//Ax1_6
see https://ontohub.org/esslli-2016/FOL/OrderTheory_structured//BooleanAlgebra//idem_cap///proof_attempts the "Date" and the time at "Evaluation State" should differ only by a few seconds. However, the difference is two hours.
see https://ontohub.org/esslli_2016/Propositional/rain//Raining2//hence%20it%20must%20rain...///proof_attempts Actually, they have been processing since 2 days. However, the displayed time is 20 mins. Could it be that the processing is restarted again and again?