Dear all, in the model below I want to define/constrain:
the objectProperty "classFulfillment"can only between a subclass of Function and subclass of Object. (or similar: classDecomposition can only be amoung Function or Objects but not mixed) can I define this directly in owl or do i better use spin/sparql some way? thx for any advice ps current ontology: # Saved by TopBraid on Tue Dec 07 17:43:44 CET 2010 # baseURI: http://www.rws.nl/objectenbibliotheek @prefix : <http://www.rws.nl/objectenbibliotheek#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . <http://www.rws.nl/objectenbibliotheek> rdf:type owl:Ontology ; owl:versionInfo "Created with TopBraid Composer"^^xsd:string . :Afsluiting rdf:type rdfs:Class ; rdfs:subClassOf :Function . :Afsluiting_1 rdf:type :Afsluiting . :Deur rdf:type rdfs:Class ; rdfs:subClassOf :Object ; :classDecomposition :Slot ; :classFunctionFulfillment :Toegang . :Deur_1 rdf:type :Deur ; :individualDecomposition :Slot_1 ; :individualFunctionFulfillment :Toegang_1 ; :individualStatus "actual"^^xsd:string . :Function rdf:type rdfs:Class ; rdfs:subClassOf :Subject . :Object rdf:type rdfs:Class ; rdfs:subClassOf :Subject . :Slot rdf:type rdfs:Class ; rdfs:subClassOf :Object ; :classFunctionFulfillment :Afsluiting . :Slot_1 rdf:type :Slot ; :individualFunctionFulfillment :Afsluiting_1 ; :individualStatus "required"^^xsd:string ; :veiligheidsKlasse "B OR C"^^xsd:string . :Subject rdf:type owl:Class ; rdfs:subClassOf owl:Thing . :Toegang rdf:type rdfs:Class ; rdfs:subClassOf :Function . :Toegang_1 rdf:type :Toegang . :classDecomposition rdf:type owl:ObjectProperty ; rdfs:domain rdfs:Class ; rdfs:range rdfs:Class . :classFunctionFulfillment rdf:type owl:ObjectProperty ; rdfs:domain rdfs:Class ; rdfs:range rdfs:Class . :individualDecomposition rdf:type owl:ObjectProperty . :individualFunctionFulfillment rdf:type owl:ObjectProperty . :individualStatus rdf:type owl:DatatypeProperty ; rdfs:domain :Subject ; rdfs:range [ rdf:type rdfs:Datatype ; owl:oneOf ("required"^^xsd:string "proposed"^^xsd:string "built"^^xsd:string "actual"^^xsd:string) ] . :propertyAspect rdf:type owl:DatatypeProperty ; rdfs:domain rdf:Property ; rdfs:range [ rdf:type rdfs:Datatype ; owl:oneOf ("functionaliteit"^^xsd:string "betrouwbaarheid"^^xsd:string "veiligheid"^^xsd:string "beschikbaarheid"^^xsd:string "onderhoudbaarheid"^^xsd:string) ] . :propertyUnit rdf:type owl:DatatypeProperty ; rdfs:domain rdf:Property ; rdfs:range [ rdf:type rdfs:Datatype ; owl:oneOf ("m"^^xsd:string "m2"^^xsd:string "m3"^^xsd:string "kg"^^xsd:string "seconde"^^xsd:string "minute"^^xsd:string "uur"^^xsd:string "N"^^xsd:string) ] . :veiligheidsKlasse rdf:type owl:DatatypeProperty ; rdfs:domain :Slot ; :propertyAspect "veiligheid"^^xsd:string ; :propertyUnit "m"^^xsd:string . TNO.NL Michel Böhms sr. Research Scientist Building Innovation TNO Van Mourik Broekmanweg 6 | PO Box 49 2600 AA | Delft | The Netherlands Tel +31 888663107 E-mail [email protected]<mailto:[email protected]> Web http://www.linkedin.com/in/michelbohms Skype michelbohms Disclaimer<blocked::http://www.tno.nl/content.cfm?&context=overtno&content=overtnosub&laag1=282&item_id=72&Taal=2> This e-mail and its contents are subject to the DISCLAIMER at http://www.tno.nl/disclaimer/email.html -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en
