also asked here: https://stackoverflow.com/questions/64500659/wich-reasoner-do-i-have-to-use-to-validate-the-given-example
As said there, SHACL is the way to go for constraint validation: https://jena.apache.org/documentation/shacl/ On 23.10.20 20:41, Dave Reynolds wrote: > Without seeing the schema (that seems to be only the data) then it's > hard to be sure but as Han says, unless there's some disjointness > expressions that's not an inconsistency. > > I'm afraid OWL really isn't a schema language and not very got at > expressing these sorts of constraints. The net effect is just that > your example instance is inferred to be a Component as well as being a > Topic. Unless there's an explicit axiom somewhere that prevents > something being both a Component and a Topic at the same time then > there's no violation. > > To answer your original question then if there are any disjointness > axioms then you will need at least the OWLMini configuration. > > Dave > > On 23/10/2020 16:53, [email protected] wrote: >> Hi Han, >> thanks for you fast answer. >> I am not sure if i understood you right, but my model just contains a >> few Topics and Components. I will post it below, maybe it helps. I am >> not an expert in this semantic ontology by the way :D >> The schema is an external schema.rdf... >> The problem is the schema is from an external company and i have to >> use exactly this, so i am not allowed to change it. >> >> My complete model ( data.rdf): >> >> <rdf:RDF >> xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"; >> xmlns:pifan="http://customer.lebfy.de/pifan#"; >> xmlns:ixsr="http://ixsr.abokom.de/ixsr#"; >> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#";> >> <rdfs:Class rdf:about="http://customer.lebfy.de/pifan#Heizung";> >> <rdfs:subClassOf >> xml:lang="de-de">http://ixsr.abokom.de/ixsr#ProductFeature</rdfs:subClassOf> >> <rdfs:label xml:lang="de-de">Heizung</rdfs:label> >> </rdfs:Class> >> <rdfs:Class >> rdf:about="http://customer.lebfy.de/pifan#AusstattungDisplay";> >> <rdfs:subClassOf >> xml:lang="de-de">http://ixsr.abokom.de/ixsr#ProductFeature</rdfs:subClassOf> >> <rdfs:label xml:lang="de-de">Ausstattung Display</rdfs:label> >> </rdfs:Class> >> <rdfs:Class rdf:about="http://customer.lebfy.de/pifan#Antrieb";> >> <rdfs:subClassOf >> xml:lang="de-de">http://ixsr.abokom.de/ixsr#ProductFeature</rdfs:subClassOf> >> <rdfs:label xml:lang="de-de">Antrieb</rdfs:label> >> </rdfs:Class> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/0d8b9d4a4aa5056274596bf9a7cb2a68/1/de-de";> >> <ixsr:title xml:lang="de-de">Ventilator „PI-Fan“ >> X5-DH2</ixsr:title> >> <ixsr:has-document-type >> rdf:resource="http://ixsr.abokom.de/ixsr#OperatingInstructions"/> >> <ixsr:relates-to-component> >> <ixsr:Component >> rdf:about="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c";> >> <ixsr:has-component >> xml:lang="de-de">http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687fxyz</ixsr:has-component> >> <rdfs:label xml:lang="de-de">PI-Fan – Ventilator</rdfs:label> >> </ixsr:Component> >> </ixsr:relates-to-component> >> <ixsr:relates-to-product-feature> >> <pifan:Antrieb >> rdf:about="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17";> >> <rdfs:label xml:lang="de-de">5-stufig</rdfs:label> >> </pifan:Antrieb> >> </ixsr:relates-to-product-feature> >> <ixsr:relates-to-product-feature> >> <pifan:AusstattungDisplay >> rdf:about="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410";> >> <rdfs:label xml:lang="de-de">mit Display</rdfs:label> >> </pifan:AusstattungDisplay> >> </ixsr:relates-to-product-feature> >> <ixsr:relates-to-product-feature> >> <pifan:Heizung >> rdf:about="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88";> >> <rdfs:label xml:lang="de-de">Heizung 2 Stufen</rdfs:label> >> </pifan:Heizung> >> </ixsr:relates-to-product-feature> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/2083fd4098849c6cd642d3ee6f5cfd32/1/de-de";> >> <ixsr:title xml:lang="de-de">Inbetriebnahme</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/b583cdcfa6f24ae5b309cb8b429bdb83/1/de-de";> >> <ixsr:title xml:lang="de-de">Bestimmungsgemäße >> Verwendung</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/6e4f5396e2209b9886b71340a6a6487f/1/de-de";> >> <ixsr:title xml:lang="de-de">Teleskopstange und Standplatte >> montieren</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/e5508049e2a330281bb59096647ca61c/1/de-de";> >> <ixsr:title xml:lang="de-de">Höhe einstellen</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/f495278ccd8b0624658d519aaea6d5f8/1/de-de";> >> <ixsr:title xml:lang="de-de">Fehlercodes am Display</ixsr:title> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/d263130eda2ed87a61da6a16ff965f1e/1/de-de";> >> <ixsr:title xml:lang="de-de">TD 1</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/6a31be6b8c71e7f730dd4b277a1cb22a/1/de-de";> >> <ixsr:title xml:lang="de-de">Manuelle Fehlerbehebung</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/cb33d8b20f19035943704644894748cd/1/de-de";> >> <ixsr:title xml:lang="de-de">Allgemeine >> Sicherheitshinweise</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/d8ba2a79798c23bc108adb41e61c1c1b/1/de-de";> >> <ixsr:title xml:lang="de-de">Stromzufuhr prüfen</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Component >> rdf:about="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687fxyz";> >> <rdfs:label xml:lang="de-de">Schaufelrad</rdfs:label> >> </ixsr:Component> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/05d2c8268b68ff6444a49358ca7fe925/1/de-de";> >> <ixsr:has-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:title xml:lang="de-de">Kontaktdaten</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/ba05de9ae384a7abd6859f52646fb8b1/1/de-de";> >> <ixsr:title xml:lang="de-de">Vorhersehbarer >> Fehlgebrauch</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/ab81fa233a75180c58972b9f1b0df5fd/1/de-de";> >> <ixsr:title xml:lang="de-de">Ergänzende Anweisungen</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/da0218d58cbcdc69619ed616884723e0/2/de-de";> >> <ixsr:title xml:lang="de-de">Rotor montieren</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/99b2c4f8928f3046588c5081a43b532d/1/de-de";> >> <ixsr:title xml:lang="de-de">Display</ixsr:title> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/7ec416457f30eadf1b7211d0fa69bdd0/2/de-de";> >> <ixsr:title xml:lang="de-de">Rotor reinigen</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/895966fe474cd5fd601ddc7711bcb411/1/de-de";> >> <ixsr:title xml:lang="de-de">Heizung ein-/ausschalten</ixsr:title> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/ac700ba6d696244794769f9a7f124099/1/de-de";> >> <ixsr:title xml:lang="de-de">Neigung einstellen</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/c3d0813944631f19cb2a9f3d6e181464/1/de-de";> >> <ixsr:title xml:lang="de-de">Einschalten und Geschwindigkeit >> einstellen</ixsr:title> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature> >> <pifan:Antrieb >> rdf:about="http://ixsr.lebfy.de/metadata/ed52e53eb2e0763ec0a802687822c91a";> >> <rdfs:label xml:lang="de-de">3-stufig</rdfs:label> >> </pifan:Antrieb> >> </ixsr:relates-to-product-feature> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/e2d8e5fc14eea8b381e3ee35a8e4d8aa/1/de-de";> >> <ixsr:title xml:lang="de-de">Schwenkbereich freiräumen</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/64542c3d6ea7a2ff39423b9c21db8a90/1/de-de";> >> <ixsr:title xml:lang="de-de">TD 2</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:DirectoryNode> >> <ixsr:has-first-child> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> >> <ixsr:has-next-sibling rdf:resource="http://ixsr.abokom.de/ixsr#nil"/> >> <rdfs:label >> xml:lang="de-de" >> >> >Entsorgung</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/f77ad6e3f5990960d46991a0d0c09019_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de" >> >Kontaktdaten</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/05d2c8268b68ff6444a49358ca7fe925_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <ixsr:has-first-child> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> >> <ixsr:has-next-sibling> >> >> <ixsr:DirectoryNode> >> >> <ixsr:has-next-sibling rdf:resource="http://ixsr.abokom.de/ixsr#nil"/> >> <rdfs:label >> >> xml:lang="de-de" >> >> >Schwenkbereich freiräumen</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/e2d8e5fc14eea8b381e3ee35a8e4d8aa_1_de_de"/> >> >> </ixsr:DirectoryNode> >> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de" >> >Stromzufuhr >> prüfen</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/d8ba2a79798c23bc108adb41e61c1c1b_1_de_de"/> >> </ixsr:DirectoryNode> >> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de" >> >Manuelle >> Fehlerbehebung</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/6a31be6b8c71e7f730dd4b277a1cb22a_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de" >> >Fehlercodes am >> Display</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/f495278ccd8b0624658d519aaea6d5f8_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-first-child> >> <rdfs:label xml:lang="de-de" >> >Fehlerbehebung</rdfs:label> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <ixsr:has-first-child> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling >> rdf:resource="http://ixsr.abokom.de/ixsr#nil"/> >> <rdfs:label xml:lang="de-de" >> >Rotor reinigen</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/7ec416457f30eadf1b7211d0fa69bdd0_2_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-first-child> >> <rdfs:label xml:lang="de-de" >> >Wartung</rdfs:label> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <ixsr:has-first-child> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> >> <ixsr:has-next-sibling> >> >> <ixsr:DirectoryNode> >> >> <ixsr:has-next-sibling rdf:resource="http://ixsr.abokom.de/ixsr#nil"/> >> <rdfs:label >> >> xml:lang="de-de" >> >> >Display</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/99b2c4f8928f3046588c5081a43b532d_1_de_de"/> >> >> </ixsr:DirectoryNode> >> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de" >> >Heizung >> ein-/ausschalten</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/895966fe474cd5fd601ddc7711bcb411_1_de_de"/> >> </ixsr:DirectoryNode> >> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de" >> >Schwenkfunktion >> ein-/ausschalten</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/515c03f13c1bbd4742d8627b3f66bf16_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de" >> >Einschalten und >> Geschwindigkeit einstellen</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/c3d0813944631f19cb2a9f3d6e181464_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label xml:lang="de-de" >> >Neigung >> einstellen</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/ac700ba6d696244794769f9a7f124099_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label xml:lang="de-de" >> >Höhe einstellen</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/e5508049e2a330281bb59096647ca61c_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-first-child> >> <rdfs:label >> xml:lang="de-de">Bedienung</rdfs:label> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de">Inbetriebnahme</rdfs:label> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/2083fd4098849c6cd642d3ee6f5cfd32_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <ixsr:has-first-child> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling >> rdf:resource="http://ixsr.abokom.de/ixsr#nil"/> >> <rdfs:label >> xml:lang="de-de">Teleskopstange und Standplatte montieren</rdfs:label> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/6e4f5396e2209b9886b71340a6a6487f_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label xml:lang="de-de">Rotor >> montieren</rdfs:label> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/da0218d58cbcdc69619ed616884723e0_2_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-first-child> >> <rdfs:label >> xml:lang="de-de">Montage</rdfs:label> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <ixsr:has-first-child> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling >> rdf:resource="http://ixsr.abokom.de/ixsr#nil"/> >> <ixsr:has-first-child> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling> >> <ixsr:DirectoryNode> >> <ixsr:has-next-sibling >> rdf:resource="http://ixsr.abokom.de/ixsr#nil"/> >> <rdfs:label xml:lang="de-de" >> >TD 2</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/64542c3d6ea7a2ff39423b9c21db8a90_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label xml:lang="de-de" >> >TD 1</rdfs:label> >> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/d263130eda2ed87a61da6a16ff965f1e_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-first-child> >> <rdfs:label >> xml:lang="de-de">Technische Daten</rdfs:label> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de">Vorhersehbarer Fehlgebrauch</rdfs:label> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/ba05de9ae384a7abd6859f52646fb8b1_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label >> xml:lang="de-de">Bestimmungsgemäße Verwendung</rdfs:label> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/b583cdcfa6f24ae5b309cb8b429bdb83_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-first-child> >> <rdfs:label >> xml:lang="de-de">Produktbeschreibung</rdfs:label> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label xml:lang="de-de">Allgemeine >> Sicherheitshinweise</rdfs:label> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/cb33d8b20f19035943704644894748cd_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label xml:lang="de-de">Ergänzende >> Anweisungen</rdfs:label> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/ab81fa233a75180c58972b9f1b0df5fd_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-next-sibling> >> <rdfs:label xml:lang="de-de">Ventilator „PI-Fan“ >> X5-DH2</rdfs:label> >> <ixsr:relates-to-information-unit >> rdf:resource="http://ixsr.lebfy.de/topics/0d8b9d4a4aa5056274596bf9a7cb2a68_1_de_de"/> >> </ixsr:DirectoryNode> >> </ixsr:has-first-child> >> <ixsr:has-directory-structure-type >> rdf:resource="http://ixsr.abokom.de/ixsr#TableOfContents"/> >> <ixsr:relates-to-information-unit> >> <ixsr:Document >> rdf:about="http://ixsr.lebfy.de/documents/7c328448d5ff3deac0a8b22348cf8a91/2/de-de";> >> <ixsr:title xml:lang="de-de">Ventilator „PI-Fan“ >> X5-DH2</ixsr:title> >> <ixsr:has-document-type >> rdf:resource="http://ixsr.abokom.de/ixsr#OperatingInstructions"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Document> >> </ixsr:relates-to-information-unit> >> <rdfs:label xml:lang="de-de">Ventilator „PI-Fan“ >> X5-DH2</rdfs:label> >> <ixsr:has-next-sibling >> rdf:resource="http://ixsr.abokom.de/ixsr#nil"/> >> </ixsr:DirectoryNode> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/515c03f13c1bbd4742d8627b3f66bf16/1/de-de";> >> <ixsr:title xml:lang="de-de">Schwenkfunktion >> ein-/ausschalten</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/f77ad6e3f5990960d46991a0d0c09019/1/de-de";> >> <ixsr:title xml:lang="de-de">Entsorgung</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> </rdf:RDF> >> >> Gesendet: Freitag, 23. Oktober 2020 um 15:37 Uhr >> Von: "Kruiger, J.F. (Han)" <[email protected]> >> An: "[email protected]" <[email protected]> >> Betreff: RE: Wich reasoner do i have to use to validate the given >> schema violation? >> Hi Alex, >> >> Does your model assert that the classes Topic and Component are >> disjoint? Because of the open world assumption, it could be that the >> model simply can't know that your topic is NOT in the Component class. >> >> Best, >> Han >> >> -----Original Message----- >> From: [email protected] <[email protected]> >> Sent: vrijdag 23 oktober 2020 15:24 >> To: [email protected] >> Subject: Wich reasoner do i have to use to validate the given schema >> violation? >> >> I've created a model with the Jena Lib and i want to validate it >> against a specific schema.rdf. However when i start the validation, >> it says everything okay, but i have a significant schema-violation in >> my Model as you can see below. In my example, the problem is now that >> i have a Topic with the property "has-component" but "has-component" >> as a property is in the schema just allowed for "#Component"-class. >> My Question is now: Wich reasoner can i use to get an error message >> after validation? >> >> PS: I tried nearly all different reasoners from jena with all >> different parameters, but still doesnt work. >> >> My code is : >> >> Model schema = RDFDataMgr.loadModel("schema.rdf"); >> Model data = RDFDataMgr.loadModel("data.rdf"); Resource config = >> ModelFactory.createDefaultModel() >> .createResource() >> .addProperty(ReasonerVocabulary.PROPsetRDFSLevel, "full"); Reasoner >> reasoner = RDFSRuleReasonerFactory.theInstance().create(config); >> InfModel infmodel = >> ModelFactory.createInfModel(reasoner,schema,metadata); >> >> ValidityReport validityReport = infmodel.validate(); if >> (validityReport.isValid()) { >> System.out.println("OK"); >> } else { >> System.out.println("Conflicts"); >> for (Iterator i = validityReport.getReports(); i.hasNext();) { >> System.out.println(" - " + i.next()); >> } >> } >> Example from data.rdf: >> >> <rdf:RDF >> xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"; >> xmlns:ixsr="http://ixsr.abokom.de/ixsr#"; >> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#";> >> [....] >> <ixsr:Topic >> rdf:about="http://ixsr.lebfy.de/topics/05d2c8268b68ff6444a49358ca7fe925/1/de-de";> >> <ixsr:has-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:title xml:lang="de-de">Kontaktdaten</ixsr:title> >> <ixsr:relates-to-component >> rdf:resource="http://ixsr.lebfy.de/metadata/85e7506eb2e33f90c0a802687f559f0c"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/dbbb7334b2e2a9e5c0a8026860d20c17"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/10b4c299b2ddae19c0a8026824aa7410"/> >> <ixsr:relates-to-product-feature >> rdf:resource="http://ixsr.lebfy.de/metadata/b63e4b15b2dc2d83c0a8026877f6aa88"/> >> <ixsr:dateOfCreation >> xml:lang="de-de">2020-08-06T12:24:07.285+02:00</ixsr:dateOfCreation> >> </ixsr:Topic> >> [....] >> Example from schema.rdf: >> >> <rdf:RDF xmlns:ixsr="http://ixsr.abokom.de/ixsr#"; >> xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"; >> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"; >> xmlns:schema="http://schema.org/"; >> xml:base="http://ixsr.abokom.de/ixsr#"; xml:lang="en"> [....] >> <rdf:Property rdf:about="http://ixsr.abokom.de/ixsr#has-component";> >> <rdfs:label xml:lang="de">hat Komponente</rdfs:label> <rdfs:label >> xml:lang="en">has component</rdfs:label> <rdfs:subPropertyOf >> rdf:resource="http://ixsr.abokom.de/ixsr#ixsrRelationConcept"/> >> <rdfs:domain rdf:resource="http://ixsr.abokom.de/ixsr#Component"/> >> <rdfs:range rdf:resource="http://ixsr.abokom.de/ixsr#Component"/> >> <ixsr:description xml:lang="en"/> >> <rdfs:comment xml:lang="en">Relates to a component that is part of >> another component.</rdfs:comment> <rdfs:comment >> xml:lang="de">Verweist auf eine Kompoente, die Teil einer anderen >> Komponente ist.</rdfs:comment> <schema:domainIncludes >> rdf:resource="http://ixsr.abokom.de/ixsr#Component"/> >> <schema:rangeIncludes >> rdf:resource="http://ixsr.abokom.de/ixsr#Component"/> >> <ixsr:description xml:lang="en">Cardinality: >> http://ixsr.abokom.de/ixsr#Component [0..*]</ixsr:description> >> </rdf:Property> [....] >> This message may contain information that is not intended for you. If >> you are not the addressee or if this message was sent to you by >> mistake, you are requested to inform the sender and delete the >> message. TNO accepts no liability for the content of this e-mail, for >> the manner in which you use it and for damage of any kind resulting >> from the risks inherent to the electronic transmission of messages. >> >
