Skip to content

Commit

Permalink
additional subsets
Browse files Browse the repository at this point in the history
strictly aristotelian definitions
  • Loading branch information
turbomam committed Aug 7, 2024
1 parent 0b72c99 commit 6f2f5cd
Show file tree
Hide file tree
Showing 2 changed files with 101 additions and 66 deletions.
111 changes: 73 additions & 38 deletions src/ontology/aio-edit.owl
Original file line number Diff line number Diff line change
@@ -1,95 +1,130 @@
Prefix(:=<https://w3id.org/aio>)
Prefix(BFO:=<http://purl.obolibrary.org/obo/BFO_>)
Prefix(IAO:=<http://purl.obolibrary.org/obo/IAO_>)
Prefix(dcterms:=<http://purl.org/dc/terms/>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
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#>)
Prefix(dcterms:=<http://purl.org/dc/terms/>)


Ontology(<https://w3id.org/aio/artificial-intelligence-ontology.owl>

Import(<http://purl.obolibrary.org/obo/aio/components/aio-component.owl>)

Annotation(dcterms:description "This ontology models classes and relationships describing deep learning networks, their component layers and activation functions, as well as potential biases.")
Annotation(dcterms:license <http://creativecommons.org/licenses/by/4.0/>)
Annotation(dcterms:title "Artificial Intelligence Ontology")

Declaration(AnnotationProperty(IAO:0000115))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/BFO_0000050>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/BFO_0000051>))
Declaration(AnnotationProperty(<http://purl.obolibrary.org/obo/IAO_0000115>))
Declaration(AnnotationProperty(dcterms:description))
Declaration(AnnotationProperty(dcterms:license))
Declaration(AnnotationProperty(dcterms:title))

Declaration(AnnotationProperty(<http://www.geneontology.org/formats/oboInOwl#SubsetProperty>))

Declaration(AnnotationProperty(<https://w3id.org/aio/ActivationFunctionSubset>))
Declaration(AnnotationProperty(<https://w3id.org/aio/BiasSubset>))
Declaration(AnnotationProperty(<https://w3id.org/aio/ClassSubset>))
Declaration(AnnotationProperty(<https://w3id.org/aio/FunctionSubset>))
Declaration(AnnotationProperty(<https://w3id.org/aio/InstanceNormalizationLayerSubset>))
Declaration(AnnotationProperty(<https://w3id.org/aio/LayerSubset>))
Declaration(AnnotationProperty(<https://w3id.org/aio/MachineLearningSubset>))
Declaration(AnnotationProperty(<https://w3id.org/aio/ModelSubset>))
Declaration(AnnotationProperty(<https://w3id.org/aio/NetworkSubset>))
Declaration(AnnotationProperty(<https://w3id.org/aio/PreprocessingSubset>))

Declaration(ObjectProperty(BFO:0000050))
Declaration(ObjectProperty(BFO:0000051))

############################
# Annotation Properties
############################

AnnotationAssertion(IAO:0000115 IAO:0000115 "The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions.")
# Annotation Property: <http://purl.obolibrary.org/obo/IAO_0000115> (definition)

AnnotationAssertion(IAO:0000115 dcterms:description "Description may include but is not limited to: an abstract, table of contents, reference to a graphical representation of content or a free-text account of the content.")
AnnotationAssertion(IAO:0000115 dcterms:license "A legal document giving official permission to do something with the resource.")
AnnotationAssertion(IAO:0000115 dcterms:title "A name given to the resource.")

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/BiasSubset> "Bias Subset"@en)
AnnotationAssertion(rdfs:comment <https://w3id.org/aio/ClassSubset> "Class Subset"@en)
AnnotationAssertion(rdfs:comment <https://w3id.org/aio/FunctionSubset> "Function Subset"@en)
AnnotationAssertion(rdfs:comment <https://w3id.org/aio/LayerSubset> "Layer Subset"@en)
AnnotationAssertion(rdfs:comment <https://w3id.org/aio/MachineLearningSubset> "Machine Learning Subset"@en)
AnnotationAssertion(rdfs:comment <https://w3id.org/aio/ModelSubset> "Model Subset"@en)
AnnotationAssertion(rdfs:comment <https://w3id.org/aio/NetworkSubset> "Network Subset"@en)
AnnotationAssertion(rdfs:comment <https://w3id.org/aio/PreprocessingSubset> "Preprocessing Subset"@en)
AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000115> <http://purl.obolibrary.org/obo/IAO_0000115> "The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions.")
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/IAO_0000115> "definition")

# Annotation Property: dcterms:description (description)

AnnotationAssertion(rdfs:label <http://www.geneontology.org/formats/oboInOwl#SubsetProperty> "subset_property"@en)
AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000115> dcterms:description "Description may include but is not limited to: an abstract, table of contents, reference to a graphical representation of content or a free-text account of the content.")
AnnotationAssertion(rdfs:label dcterms:description "description")

AnnotationAssertion(rdfs:label IAO:0000115 "definition")
# Annotation Property: dcterms:license (license)

AnnotationAssertion(rdfs:label dcterms:description "description")
AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000115> dcterms:license "A legal document giving official permission to do something with the resource.")
AnnotationAssertion(rdfs:label dcterms:license "license")

# Annotation Property: dcterms:title (title)

AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000115> dcterms:title "A name given to the resource.")
AnnotationAssertion(rdfs:label dcterms:title "title")

# Annotation Property: <http://www.geneontology.org/formats/oboInOwl#SubsetProperty> (subset_property)

AnnotationAssertion(rdfs:label <http://www.geneontology.org/formats/oboInOwl#SubsetProperty> "subset_property"@en)

# Annotation Property: <https://w3id.org/aio/ActivationFunctionSubset> (<https://w3id.org/aio/ActivationFunctionSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/ActivationFunctionSubset> "Activation Function Subset")
SubAnnotationPropertyOf(<https://w3id.org/aio/ActivationFunctionSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)

# Annotation Property: <https://w3id.org/aio/BiasSubset> (<https://w3id.org/aio/BiasSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/BiasSubset> "Bias Subset"@en)
SubAnnotationPropertyOf(<https://w3id.org/aio/BiasSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)

# Annotation Property: <https://w3id.org/aio/ClassSubset> (<https://w3id.org/aio/ClassSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/ClassSubset> "Class Subset"@en)
SubAnnotationPropertyOf(<https://w3id.org/aio/ClassSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)

# Annotation Property: <https://w3id.org/aio/FunctionSubset> (<https://w3id.org/aio/FunctionSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/FunctionSubset> "Function Subset"@en)
SubAnnotationPropertyOf(<https://w3id.org/aio/FunctionSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)

# Annotation Property: <https://w3id.org/aio/InstanceNormalizationLayerSubset> (<https://w3id.org/aio/InstanceNormalizationLayerSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/InstanceNormalizationLayerSubset> "Instance Normalization Layer Subset")
SubAnnotationPropertyOf(<https://w3id.org/aio/InstanceNormalizationLayerSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)

# Annotation Property: <https://w3id.org/aio/LayerSubset> (<https://w3id.org/aio/LayerSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/LayerSubset> "Layer Subset"@en)
SubAnnotationPropertyOf(<https://w3id.org/aio/LayerSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)

# Annotation Property: <https://w3id.org/aio/MachineLearningSubset> (<https://w3id.org/aio/MachineLearningSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/MachineLearningSubset> "Machine Learning Subset"@en)
SubAnnotationPropertyOf(<https://w3id.org/aio/MachineLearningSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)

# Annotation Property: <https://w3id.org/aio/ModelSubset> (<https://w3id.org/aio/ModelSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/ModelSubset> "Model Subset"@en)
SubAnnotationPropertyOf(<https://w3id.org/aio/ModelSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)

# Annotation Property: <https://w3id.org/aio/NetworkSubset> (<https://w3id.org/aio/NetworkSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/NetworkSubset> "Network Subset"@en)
SubAnnotationPropertyOf(<https://w3id.org/aio/NetworkSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)

# Annotation Property: <https://w3id.org/aio/PreprocessingSubset> (<https://w3id.org/aio/PreprocessingSubset>)

AnnotationAssertion(rdfs:comment <https://w3id.org/aio/PreprocessingSubset> "Preprocessing Subset"@en)
SubAnnotationPropertyOf(<https://w3id.org/aio/PreprocessingSubset> <http://www.geneontology.org/formats/oboInOwl#SubsetProperty>)


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

# Object Property: <http://purl.obolibrary.org/obo/BFO_0000050> (part of)

AnnotationAssertion(IAO:0000115 BFO:0000050 "A core relation that holds between a part and its whole"@en)
AnnotationAssertion(IAO:0000115 BFO:0000051 "A core relation that holds between a whole and its part"@en)
AnnotationAssertion(rdfs:label BFO:0000050 "part of"@en)
AnnotationAssertion(rdfs:label BFO:0000051 "has part"@en)
AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000115> <http://purl.obolibrary.org/obo/BFO_0000050> "A core relation that holds between a part and its whole"@en)
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/BFO_0000050> "part of"@en)

############################
# Classes
############################
# Object Property: <http://purl.obolibrary.org/obo/BFO_0000051> (has part)

AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000115> <http://purl.obolibrary.org/obo/BFO_0000051> "A core relation that holds between a whole and its part"@en)
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/BFO_0000051> "has part"@en)


############################
# Named Individuals
############################

)
)
56 changes: 28 additions & 28 deletions src/ontology/bridge/aio-bridge-to-upper.owl
Original file line number Diff line number Diff line change
Expand Up @@ -21,77 +21,77 @@



<!-- http://example.com/Bias -->
<!-- http://purl.obolibrary.org/obo/BFO_0000016 -->

<Class rdf:about="http://example.com/Bias">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000016"/>
</Class>
<Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000016"/>



<!-- http://example.com/Layer -->
<!-- http://purl.obolibrary.org/obo/IAO_0000030 -->

<Class rdf:about="http://example.com/Layer">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/IAO_0000030"/>
</Class>
<Class rdf:about="http://purl.obolibrary.org/obo/IAO_0000030"/>



<!-- http://example.com/MachineLearningTask -->
<!-- http://purl.obolibrary.org/obo/OBI_0000011 -->

<Class rdf:about="http://example.com/MachineLearningTask">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/OBI_0000011"/>
</Class>
<Class rdf:about="http://purl.obolibrary.org/obo/OBI_0000011"/>



<!-- http://example.com/MathematicalFunction -->
<!-- https://w3id.org/aio/Bias -->

<Class rdf:about="http://example.com/MathematicalFunction">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/OBI_0000011"/>
<Class rdf:about="https://w3id.org/aio/Bias">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000016"/>
</Class>



<!-- http://example.com/Model -->
<!-- https://w3id.org/aio/Layer -->

<Class rdf:about="http://example.com/Model">
<Class rdf:about="https://w3id.org/aio/Layer">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/IAO_0000030"/>
</Class>



<!-- http://example.com/Network -->
<!-- https://w3id.org/aio/MachineLearningTask -->

<Class rdf:about="http://example.com/Network">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/IAO_0000030"/>
<Class rdf:about="https://w3id.org/aio/MachineLearningTask">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/OBI_0000011"/>
</Class>



<!-- http://example.com/Preprocessing -->
<!-- https://w3id.org/aio/MathematicalFunction -->

<Class rdf:about="http://example.com/Preprocessing">
<Class rdf:about="https://w3id.org/aio/MathematicalFunction">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/OBI_0000011"/>
</Class>



<!-- http://purl.obolibrary.org/obo/BFO_0000016 -->
<!-- https://w3id.org/aio/Model -->

<Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000016"/>
<Class rdf:about="https://w3id.org/aio/Model">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/IAO_0000030"/>
</Class>



<!-- http://purl.obolibrary.org/obo/IAO_0000030 -->
<!-- https://w3id.org/aio/Network -->

<Class rdf:about="http://purl.obolibrary.org/obo/IAO_0000030"/>
<Class rdf:about="https://w3id.org/aio/Network">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/IAO_0000030"/>
</Class>



<!-- http://purl.obolibrary.org/obo/OBI_0000011 -->
<!-- https://w3id.org/aio/Preprocessing -->

<Class rdf:about="http://purl.obolibrary.org/obo/OBI_0000011"/>
<Class rdf:about="https://w3id.org/aio/Preprocessing">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/OBI_0000011"/>
</Class>
</rdf:RDF>


Expand Down

0 comments on commit 6f2f5cd

Please sign in to comment.