For example:
# INPUT
s4bldg:BuildingSpace rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty s4bldg:isSpaceOf ;
owl:allValuesFrom [
rdf:type owl:Class ;
owl:unionOf (
s4bldg:Building
s4bldg:BuildingSpace
)
]
]# OUTPUT
Pattern 16
owl:Class
|rdfs:subClassOf
| |owl:Restriction
| | |owl:allValuesFrom
| | | |owl:Class
| | | | |owl:unionOf
| | | | | |rdf:List
| | | | | | |rdf:first
| | | | | | | |owl:Class
| | | | | | |rdf:rest
| | | | | | | |rdf:List
| | | | | | | | |rdf:first
| | | | | | | | | |owl:Class
| | | | | | | | |rdf:rest
| | | | | | | | | |rdf:nil
| | |owl:onProperty# INPUT
s4bldg:BuildingSpace rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty s4bldg:isSpaceOf ;
owl:allValuesFrom [
rdf:type owl:Class ;
owl:unionOf (
s4bldg:Building
s4bldg:BuildingSpace
)
]
]# OUTPUT
Pattern 16
owl:Class
|rdfs:subClassOf
| |owl:Restriction
| | |owl:allValuesFrom
| | | |owl:Class
| | | | |owl:unionOf
| | |owl:onProperty
No specific classes or properties are used, but OWL skeletons like:
owl:Class
|rdfs:subClassOf
| |owl:Restriction
| | |owl:onProperty
| | | |owl:DatatypeProperty, owl:FunctionalProperty
| | |owl:someValuesFrom
| | | |rdfs:Datatype
¿SERGIO esto aplica a los named? O solo a los que se generalizan como Type?
Otra cosa es que estaría bien indicar algunos ejemplos, pensaba que se incluían 3.
owl:Class |owl:equivalentClass | |owl:Class | | |owl:oneOf
Output: Tengo que ver el output final y definir esto en detalle
The retrieved .zip file contains the following folders and documents: