OWLAPI: Leistungseinfluss bei der Aktualisierung/Löschung von Axiomen

Question

Ich möchte die Axiome einer OWL-Klasse (z. B. SubclassOf-Axiome) aktualisieren/löschen.

Ich habe folgende zwei Ansätze:

1) alle alten Axiome löschen dann alle neuen Axiome erstellen.

2) Löschen Sie selektive Axiome, indem Sie sie mit neuen Axiomen vergleichen.

Hinweis: - Aufgrund einiger Einschränkungen muss ich Update Fällen als Lösch + erstellen

Q. behandeln, die die beste Strategie ist zu aheas in Bezug auf Leistung für OWLAPI zu gehen?

z. Ich habe folgende subClassOf Axiome für Class X -

1) A or B 
2) name exactly 1 xsd:string 
3) P and not Q 

und ich möchte diese Axiome mit aktualisieren/löschen -

1) A [Update] 
2) name min 1 xsd:string [Update] 
3) Axiom is deleted [Delete] 

Answer 1

Die Leistung von Axiom Umzüge axiomatization Ergänzungen entspricht. Die Hauptaktionen sind Suchen in Karten, um vorhandene Elemente zu finden oder neue hinzuzufügen.

Die beteiligten Strukturen sind O (Constant) für die Eingabe, so dass die Gesamtkomplexität größtenteils unabhängig von der Ontologiegröße ist (dies gilt möglicherweise nicht für sehr große Ontologien, aber für die meisten Ontologien).

Kurz gesagt gibt es kein Leistungsproblem mit Ihrer vorgeschlagenen Lösung (2).

Ich würde nicht vorschlagen, Axiome neu zu erstellen - dies ist wahrscheinlich in Bezug auf Speicherverbrauch teuer. Axiome sind unveränderlich, also verhalten sich die neuen und alten Objekte genau gleich.