las-model/las-model.owl at master · lasircc/las-model · 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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
@prefix : <http://las.ircc.it/las-ontology#> .
@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://las.ircc.it/las-ontology#> .

<http://las.ircc.it/las-ontology#> rdf:type owl:Ontology ;
                                    rdfs:comment "The ontology backing the Laboratory Assistant Suite" .

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

###  http://las.ircc.it/las-ontology#hasChild
:hasChild rdf:type owl:ObjectProperty ;
          rdfs:subPropertyOf owl:topObjectProperty ;
          rdfs:domain :Container ;
          rdfs:range :Container .


###  http://las.ircc.it/las-ontology#hasFather
:hasFather rdf:type owl:ObjectProperty ;
           rdfs:domain :Container ;
           rdfs:range :Container .


###  http://las.ircc.it/las-ontology#hasGeometry
:hasGeometry rdf:type owl:ObjectProperty ;
             rdfs:domain :Container ;
             rdfs:range :Geometry .


#################################################################
#    Data properties
#################################################################

###  http://las.ircc.it/las-ontology#hasBarcode
:hasBarcode rdf:type owl:DatatypeProperty .


###  http://las.ircc.it/las-ontology#hasObjectId
:hasObjectId rdf:type owl:DatatypeProperty .


###  http://las.ircc.it/las-ontology#isDisposable
:isDisposable rdf:type owl:DatatypeProperty ;
              rdfs:domain :Container .


###  http://las.ircc.it/las-ontology#manufacturedBy
:manufacturedBy rdf:type owl:DatatypeProperty .


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

###  http://las.ircc.it/las-ontology#Bioentity
:Bioentity rdf:type owl:Class ;
           rdfs:subClassOf [ rdf:type owl:Restriction ;
                             owl:onProperty :hasObjectId ;
                             owl:allValuesFrom rdfs:Literal
                           ] .


###  http://las.ircc.it/las-ontology#Company
:Company rdf:type owl:Class .


###  http://las.ircc.it/las-ontology#Container
:Container rdf:type owl:Class .


###  http://las.ircc.it/las-ontology#Geometry
:Geometry rdf:type owl:Class .


###  http://las.ircc.it/las-ontology#2D
<http://las.ircc.it/las-ontology#2D> rdf:type owl:Class ;
                                     rdfs:subClassOf :Geometry .


###  http://las.ircc.it/las-ontology#2DContainer
<http://las.ircc.it/las-ontology#2DContainer> rdf:type owl:Class ;
                                              owl:equivalentClass [ rdf:type owl:Restriction ;
                                                                    owl:onProperty :hasGeometry ;
                                                                    owl:someValuesFrom <http://las.ircc.it/las-ontology#2D>
                                                                  ] ;
                                              rdfs:subClassOf :Container ,
                                                              [ rdf:type owl:Restriction ;
                                                                owl:onProperty :hasObjectId ;
                                                                owl:allValuesFrom rdfs:Literal
                                                              ] .


#################################################################
#    Individuals
#################################################################

###  http://las.ircc.it/las-ontology#bio1
:bio1 rdf:type owl:NamedIndividual ;
      :hasObjectId 12 .


###  http://las.ircc.it/las-ontology#blueContainer
:blueContainer rdf:type owl:NamedIndividual ;
               :hasGeometry <http://las.ircc.it/las-ontology#2d_geom_3x3> ;
               :hasObjectId "foo" .


###  http://las.ircc.it/las-ontology#2d_geom_3x3
<http://las.ircc.it/las-ontology#2d_geom_3x3> rdf:type owl:NamedIndividual ,
                                                       <http://las.ircc.it/las-ontology#2D> .


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