MaterialAllocationOntology/MaterialAllocation.owl at master · tomwestermann/MaterialAllocationOntology · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
@prefix : <http://www.hsu-ifa.de/ontologies/MaterialAllocation#> .
@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.hsu-ifa.de/ontologies/MaterialAllocation> .

<http://www.hsu-ifa.de/ontologies/MaterialAllocation> rdf:type owl:Ontology ;
                                                       owl:versionIRI <http://www.hsu-ifa.de/ontologies/MaterialAllocation/0.1> .

#################################################################
#    Object Properties
#################################################################

###  http://www.hsu-ifa.de/ontologies/MaterialAllocation#isInPlace
:isInPlace rdf:type owl:ObjectProperty ,
                    owl:FunctionalProperty ;
           rdfs:domain :MaterialFlowParticipant ;
           rdfs:range :Place .


###  http://www.hsu-ifa.de/ontologies/MaterialAllocation#isInTransportUnit
:isInTransportUnit rdf:type owl:ObjectProperty ,
                            owl:FunctionalProperty ,
                            owl:AsymmetricProperty ,
                            owl:IrreflexiveProperty ;
                   rdfs:domain :MaterialFlowParticipant ;
                   rdfs:range :TransportUnit .


###  http://www.hsu-ifa.de/ontologies/MaterialAllocation#offersPlace
:offersPlace rdf:type owl:ObjectProperty ,
                      owl:InverseFunctionalProperty ;
             rdfs:domain :Carrier ;
             rdfs:range :Place .


#################################################################
#    Classes
#################################################################

###  http://www.hsu-ifa.de/ontologies/MaterialAllocation#Carrier
:Carrier rdf:type owl:Class .


###  http://www.hsu-ifa.de/ontologies/MaterialAllocation#MaterialFlowParticipant
:MaterialFlowParticipant rdf:type owl:Class .


###  http://www.hsu-ifa.de/ontologies/MaterialAllocation#Place
:Place rdf:type owl:Class .


###  http://www.hsu-ifa.de/ontologies/MaterialAllocation#Product
:Product rdf:type owl:Class ;
         rdfs:subClassOf :MaterialFlowParticipant .


###  http://www.hsu-ifa.de/ontologies/MaterialAllocation#TransportUnit
:TransportUnit rdf:type owl:Class ;
               rdfs:subClassOf :MaterialFlowParticipant .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :Carrier
                :MaterialFlowParticipant
                :Place
              )
] .


[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :Carrier
                :Place
                :Product
              )
] .


[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :Carrier
                :Place
                :TransportUnit
              )
] .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi