2017-12-01 7 views
-1

Wie wird ein logischer Ausdruck in OWL geschrieben? Jeder Ausdruck, der "und" und "oder" Operator enthält, würde tun. Geben Sie auch einige Hinweise, wie Client (z. B. Java-Programm mit OWL-Parser) diesen Ausdruck auf True oder False-Werte auflösen muss. Alle Zeiger würden sehr geschätzt werden.Logischer Ausdruck in OWL

+0

Die [W3C-Dokumentation] (https://www.w3.org/TR/owl2-overview/) haben Sie gesehen? Insbesondere auch der Semantikteil? OWL-Semantik basiert auf Beschreibungslogiken, daher ist dies der zugrundeliegende logische Formalismus mit seiner typischen satzbasierten Semantik aus der Modelltheorie – AKSW

+0

, die ich kenne. Ich arbeite am Bewerbungsteil. Nicht viel in Theorie. Ich habe IRIs in String-Formaten .. Ich möchte bestimmte Status beibehalten, bevor ich meinen nächsten Schritt der Orchestrierung fortsetzen .. Ein Beispiel würde tun .. – badari

+0

Ich verstehe Ihren Kommentar nicht, sorry. "Ich habe IRIs in String-Formaten" -> und jetzt? Wie ist das wichtig? Es ist nicht klar, was Sie fragen, insbesondere, weil Sie kein laufendes Beispiel angegeben haben. Bitte erweitern Sie Ihre Frage mit weiteren Details. – AKSW

Antwort

0

Es klingt wie Sie müssen SWRL suchen, wo Sie auch Beispiele finden können.