protege

3Hitze

1Antwort

OWLAPI: HermiT Reasoner zeigt falsches Ergebnis und KEINE Erklärung

Ich habe folgende Ontologie durch Protege erstellt. Ontology: <?xml version="1.0"?> <!DOCTYPE rdf:RDF [ <!ENTITY owl "http://www.w3.org/2002/07/owl#" > <!ENTITY xsd "http://www.w3.org/2001/

0Hitze

1Antwort

SWRL:^arbeiten nicht auf Protege 4.3

Ich versuche, eine SWRL Regel hinzufügen, um protege conjuction ^ unterzeichnen verwenden, aber Protege 4.3 nicht dieses Zeichen genehmigen. Dieses Problem ist auch für SWRL buildins wie swrlb:lessTha

0Hitze

1Antwort

Abrufen mehrerer Klassen im Bereich einer Objekteigenschaft mit Hilfe der Sparql-Abfrage in Java (Protege 3.4.8)

Ich stehe vor dem Problem, mehrere Klassen im Bereich einer Objekteigenschaft mithilfe der spark-Abfrage in Java-Code abzurufen (Protege 3.4.8). Result1_Layer = "PREFIX uni:<http://www.owl-on

0Hitze

1Antwort

Minimales Beispiel für eine abgeleitete Klassenhierarchie in OWL

Im Ontologie-Editor Protegé gibt es eine Registerkarte namens Klassenhierarchie (abgeleitet). Ich suche nach einem minimalen Beispiel, um eine solche abgeleitete Klasse zu erzeugen, z. ist es hauptsäc

2Hitze

1Antwort

OWLAPI: Wollen abgeleitete Axiome aus Ontologie mit HermiT Reasoner

erhalten Ich möchte abgeleitete Axiome von Reasoner [HermiT] zusammen mit seiner richtigen Erklärung erhalten. Ich habe folgende Ontologie in Protege erstellt. A.owl <?xml version="1.0"?> <!DOCTYPE r

0Hitze

1Antwort

OWL existentielle Beschränkungen und notwendige Bedingungen

Ich erstelle eine Ontologie mit protege05 und ich habe eine Frage in Bezug auf die Eigenschaftseinschränkungen. Was ich aus dem Protege-Tutorial gelernt habe, ist, dass, wenn wir einer Klasse eine Eig

1Hitze

2Antwort

Klassenbeziehungen in OWL

Gegeben: Drei Eulen Klassen: emptyTask, task und userTask. Die Beziehung zwischen den Klassen sind wie folgt: userTask ist equivalentTotask - die alle Menschen impliziert, dass in userTask sind, sind

0Hitze

1Antwort

Probabilistische und/oder defeasible Argumentation in Protege?

Ich habe einige vielversprechende (alte) Artikel gefunden, aber die Spur ist kalt geworden. Idealerweise suche ich nach funktionierenden Plugins/Code, aber wenn sie einfach nicht verfügbar sind, dann

0Hitze

1Antwort

Allgemeine Klasse Axiome

OWL AXIOM Ausdrücke: Gegeben: owl: Klasse Sport Ausgang: zusätzlich zu den bestehenden owl: Objekteigenschaften möchte ich die Eule hinzuzufügen: Objekteigenschaft Spieler mit dem Wert Peter zu jeder

1Hitze

1Antwort

SWRL: Beschränke eine Regel auf eine bestimmte Person

Lässt sagen, es gibt eine Klasse "Food" mit Individuen "Grain" und "Fruit". Wenn ich Grain auswählen mag, kann ich ein food_type Daten Eigentum an Einzelpersonen (class) Food (ind_1) Grain food_t