From e1ce4564c7d5af9b88443afb0e4b1f62cf1372f1 Mon Sep 17 00:00:00 2001 From: JCGiron Date: Wed, 21 Apr 2021 13:48:44 -0500 Subject: [PATCH] added lateral to and medial to --- src/ontology/bspo-edit.ofn | 25 ++++++++++++++++++++++--- 1 file changed, 22 insertions(+), 3 deletions(-) diff --git a/src/ontology/bspo-edit.ofn b/src/ontology/bspo-edit.ofn index ddd479a..9a94a8c 100644 --- a/src/ontology/bspo-edit.ofn +++ b/src/ontology/bspo-edit.ofn @@ -177,6 +177,8 @@ Declaration(ObjectProperty()) Declaration(ObjectProperty()) Declaration(ObjectProperty()) Declaration(ObjectProperty()) +Declaration(ObjectProperty()) +Declaration(ObjectProperty()) Declaration(ObjectProperty()) Declaration(ObjectProperty()) Declaration(ObjectProperty()) @@ -550,6 +552,23 @@ AnnotationAssertion( "opposite_to"^^xsd:string) AnnotationAssertion(rdfs:label "opposite to"^^xsd:string) +# Object Property: (lateral to) + +AnnotationAssertion( "X lateral to y if x is further from the midsagittal plane than y."@en) +AnnotationAssertion( "Jennifer Girón"@en) +AnnotationAssertion( "2021-04-21") +AnnotationAssertion(rdfs:label "lateral to"@en) +InverseObjectProperties( ) +TransitiveObjectProperty() + +# Object Property: (medial to) + +AnnotationAssertion( "Jennifer Girón") +AnnotationAssertion( "2021-04-21") +AnnotationAssertion(rdfs:label "X medial to y if x is closer to the midsagittal plane than y."@en) +AnnotationAssertion(rdfs:label "medial to"@en) +TransitiveObjectProperty() + # Object Property: (in left side of) AnnotationAssertion(Annotation( "BSPO:PATO_mtg_2009"^^xsd:string) "X in left side of Y <=> if Y is subdivided into two left and right portions, X is part of the left portion."^^xsd:string) @@ -2662,7 +2681,7 @@ AnnotationAssertion(rdfs:label "an SubClassOf( ) -DLSafeRule(Annotation(rdfs:comment "This can't be added as a property chain because it causes a circularity violation for 'part of'.") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable()))) -DLSafeRule(Annotation(rdfs:comment "This can't be added as a property chain because it causes a circularity violation for 'part of'.") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable()))) -DLSafeRule(Annotation(rdfs:comment "This can't be added as a property chain because it causes a circularity violation for 'part of'.") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable()))) +DLSafeRule(Annotation(rdfs:comment "This can't be added as a property chain because it causes a circularity violation for 'part of'.") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable()))) +DLSafeRule(Annotation(rdfs:comment "This can't be added as a property chain because it causes a circularity violation for 'part of'.") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable()))) +DLSafeRule(Annotation(rdfs:comment "This can't be added as a property chain because it causes a circularity violation for 'part of'.") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable()))) ) \ No newline at end of file