Support HasSelf in RDF

phillord · Mar 14, 2024 · 5097260 · 5097260
1 parent 596ef5e
commit 5097260
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/src/io/rdf/reader.rs b/src/io/rdf/reader.rs
@@ -1114,7 +1114,16 @@ impl<'a, A: ForIRI, AA: ForIndex<A>> OntologyParser<'a, A, AA> {
                             self.fetch_ni_seq(bnodeid)?
                         )
                     }
-                },
+                 },
+                 [[_, Term::OWL(VOWL::HasSelf), _],//:
+                  [_, Term::OWL(VOWL::OnProperty), pr],
+                  [_, Term::RDF(VRDF::Type), Term::OWL(VOWL::Restriction)]] => {
+                    ok_some!{
+                        ClassExpression::ObjectHasSelf(
+                            self.fetch_ope(pr, ic)?
+                        )
+                    }
+                }
                 [[_, Term::OWL(VOWL::IntersectionOf), Term::BNode(bnodeid)],//:
                  [_, Term::RDF(VRDF::Type), Term::OWL(VOWL::Class)]] => {
                     ok_some!{

diff --git a/src/vocab.rs b/src/vocab.rs
@@ -152,6 +152,7 @@ pub enum OWL {
     EquivalentProperty,
     FunctionalProperty,
     HasKey,
+    HasSelf,
     HasValue,
     Imports,
     IntersectionOf,
@@ -224,6 +225,7 @@ lazy_meta! {
     InverseOf, extend(OWL, "inverseOf");
     IrreflexiveProperty, extend(OWL, "IrreflexiveProperty");
     HasKey, extend(OWL, "hasKey");
+    HasSelf, extend(OWL, "hasSelf");
     HasValue, extend(OWL, "hasValue");
     MaxCardinality, extend(OWL, "maxCardinality");
     MaxQualifiedCardinality, extend(OWL, "maxQualifiedCardinality");