@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix homotypic: <http://www.nie.org/ontology/homotypic#>.
@prefix stoff: <http://www.nie.org/ontology/standoff#>.
@prefix tln: <http://www.nie.org/ontology/nietzsche#>.

@prefix test: <http://www.nie.org/ontology/test#>.


test:Word a owl:Class ;
   rdfs:subClassOf [ a owl:Restriction ;
            owl:minCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty test:hasPosition ] ,
                  [ a owl:Restriction ;
            owl:minCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty test:hasLine ] ,
            tln:Word,
            homotypic:HomotypicEntity.

test:wordHasWordParts a owl:Property;
   rdfs:subPropertyOf homotypic:hasHomotypicParts;
   rdfs:domain test:Word;
   rdfs:range rdf:List.

test:hasText a owl:DatatypeProperty ;
   rdfs:subPropertyOf homotypic:hasText;
   rdfs:domain test:Word;
   rdfs:range xsd:string .

test:hasPosition a owl:ObjectProperty ;
    rdfs:domain test:Word ;
    rdfs:range test:Position .

test:Position a owl:Class .

test:hasLeft a owl:DatatypeProperty;
   rdfs:domain test:Position;
   rdfs:range xsd:float . 

test:hasLine a owl:ObjectProperty ;
    rdfs:domain test:Word ;
    rdfs:range test:Line .

test:Line a owl:Class .

test:hasCorrection a owl:ObjectProperty;
   rdfs:domain test:Word;
   rdfs:range test:Word.

test:overwritesWord a owl:ObjectProperty;
   rdfs:domain test:Word;
   rdfs:range test:Word.

test:inheritOverwritesWord a owl:ObjectProperty;
   rdfs:subPropertyOf test:overwritesWord;
   owl:propertyChainAxiom  ( test:hasCorrection test:overwritesWord ).

test:Style a owl:Class;
   rdfs:subClassOf stoff:Style.

test:hasCSS a owl:DatatypeProperty;
   rdfs:subPropertyOf stoff:styleHasCSS.