Ich erstellte eine komplexe Ontologie, die eine Produktstruktur darstellt. Ich habe die meisten Regeln definiert, um die Konfiguration des Produkts zu beschreiben (wenn Sie Teil A1 verwenden, können Sie Teil B1 nicht verwenden -> Sie müssen Teil B2 oder Teil B3 wählen).Wie semantische Argumentation Pfad und Bereich auf Ontologien basierend auf RDF mit Pellet-Denker zu definieren?
Jetzt erstelle ich ein Produkt, indem ich ihm existierende Teilinstanzen zuweise. Ich möchte überprüfen, ob das Produkt basierend auf Konfigurationsregeln erstellt werden kann. Wenn ein Produkt A1 und B1 enthält, ist es nicht möglich, es zu erstellen.
Kann ich konfigurieren, dass ein reasoner nicht die ganze Ontologie zu überprüfen, aber erst vor kurzem hinzugefügt Produkte aus der Instanz hierarchisch höchsten Ausgangsproduktes? Welchen Begründer sollte ich wählen, um das zu können?
EDIT
Reasoning auf dem gesamten Datensatz ist kostspielig Ausführungszeit in Bezug auf - kann ich einen „Gedankenbereich“ und Ausgangspunkt um den Prozess zu beschleunigen, wenn ich weiß, wo Änderungen vorgenommen wurden?
Ich benutze AllegroGraph und Design Ontologien in Protege oder TopBraid Composer, um es in AllegroGraph in RDF zu exportieren. TopBraid hat einen eingebauten Reasoner (TopSpin).
Danke !!!
Ein Standard-Reasoner arbeitet mit dem Inferenzmechanismus, auf dem der Reasoner basiert, am gesamten Datensatz. Ich verstehe nicht genau, was du wissen willst. Möchten Sie eine SPARQL-Abfrage mit Argumentation verwenden? Oder was ist der Zweck des Reasoners? – AKSW
@AKSW Bitte sehen Sie die EDIT – Boris
@AKSW Vielleicht diskutieren wir es in einem Chat-Raum, wenn das in Ordnung ist? – Boris