(original) (raw)

@prefix : . @prefix rdfs: . @prefix rdf: . @prefix owl: . :Flight a owl:Class . :UA_1377_3 a :FinalFlightSegment ; :destination :JFK . :flight_sequence a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain :Flight ; rdfs:range :FlightSegment . :JFK a :Airport . :UA_1377 a :Flight ; :flight_sequence :UA_1377_1 . :DFW a :Airport . :LAX a :Airport . :FinalFlightSegment a owl:Class ; rdfs:comment "The last flight segment has no next_segment"^^ ; rdfs:subClassOf :FlightSegment ; rdfs:subClassOf [ a owl:Restriction ; owl:maxCardinality "0"^^ ; owl:onProperty :next_segment ] . :UA_1377_2 a :FlightSegment ; :destination :DFW ; :next_segment :UA_1377_3 . :UA_1377_1 a :FlightSegment ; :destination :LAX ; :next_segment :UA_1377_2 . :FlightSegment a owl:Class ; rdfs:subClassOf owl:Thing ; rdfs:subClassOf [ a owl:Restriction ; owl:cardinality "1"^^ ; owl:onProperty :destination ] ; rdfs:subClassOf [ a owl:Restriction ; owl:allValuesFrom :Airport ; owl:onProperty :destination ] . :next_segment a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain :FlightSegment ; rdfs:range :FlightSegment . :Airport a owl:Class . a owl:Ontology . :destination a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain :FlightSegment .