Created
February 8, 2013 12:14
-
-
Save stain/4738624 to your computer and use it in GitHub Desktop.
difficult to use owl:unionOf and stay in OWL2 RL or DL.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
stain@ralph-ubuntu:~/Desktop$ profilechecker test.owl --all | |
OWL2DLProfile: OK | |
OWL2ELProfile: 1 violations | |
OWL2Profile: OK | |
OWL2QLProfile: 1 violations | |
OWL2RLProfile: 1 violations | |
stain@ralph-ubuntu:~/Desktop$ profilechecker test.owl OWL2RLProfile | |
Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(<http://www.semanticweb.org/stain/ontologies/2013/1/untitled-ontology-2#A> <http://www.semanticweb.org/stain/ontologies/2013/1/untitled-ontology-2#B>) [ObjectPropertyRange(<http://www.semanticweb.org/stain/ontologies/2013/1/untitled-ontology-2#a_or_b> ObjectUnionOf(<http://www.semanticweb.org/stain/ontologies/2013/1/untitled-ontology-2#A> <http://www.semanticweb.org/stain/ontologies/2013/1/untitled-ontology-2#B>)) in OntologyID(OntologyIRI(<http://www.semanticweb.org/stain/ontologies/2013/1/untitled-ontology-2>))] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@prefix : <http://www.semanticweb.org/stain/ontologies/2013/1/untitled-ontology-2#> . | |
@prefix owl: <http://www.w3.org/2002/07/owl#> . | |
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | |
@prefix xml: <http://www.w3.org/XML/1998/namespace> . | |
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | |
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | |
@base <http://www.semanticweb.org/stain/ontologies/2013/1/untitled-ontology-2> . | |
<http://www.semanticweb.org/stain/ontologies/2013/1/untitled-ontology-2> rdf:type owl:Ontology . | |
:a_or_b rdf:type owl:ObjectProperty ; | |
rdfs:range [ rdf:type owl:Class ; | |
owl:unionOf ( :A | |
:B | |
) | |
] . | |
:A rdf:type owl:Class . | |
:B rdf:type owl:Class . | |
:C rdf:type owl:Class . | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment