Fix Support anonymous individuals in SWRL rules #1164

phillord-ncl · ignazio1977 · commit d7e997a53b47 · 2025-10-26T20:58:46.000Z
diff --git a/contract/src/test/java/org/semanticweb/owlapi/api/test/syntax/OWLXMLTestCase.java b/contract/src/test/java/org/semanticweb/owlapi/api/test/syntax/OWLXMLTestCase.java
@@ -4,6 +4,7 @@
 import static org.junit.jupiter.api.Assertions.assertTrue;
 
 import java.io.File;
+import java.util.*;
 
 import org.junit.jupiter.api.Test;
 import org.semanticweb.owlapi.api.test.baseclasses.TestBase;
@@ -12,7 +13,7 @@
 import org.semanticweb.owlapi.model.AxiomType;
 import org.semanticweb.owlapi.model.OWLAxiom;
 import org.semanticweb.owlapi.model.OWLObjectProperty;
-import org.semanticweb.owlapi.model.OWLOntology;
+import org.semanticweb.owlapi.model.*;
 
 class OWLXMLTestCase extends TestBase {
 
@@ -37,4 +38,28 @@ void shouldParseSWRLVariables() {
         assertTrue(out.contains("<Variable IRI=\"urn:swrl:var#x\"/>"), out);
         assertTrue(out.contains("<Variable IRI=\"urn:swrl:var#y\"/>"), out);
     }
+
+    @Test
+    void shouldParseSwrlAnonIndividual() {
+        OWLOntology o = loadFrom(new File(RESOURCES,
+            "swrl_individual.owx"), new OWLXMLDocumentFormat(), m);
+        Set<String> idsInRules = new HashSet<>();
+        for (SWRLRule r : o.getAxioms(AxiomType.SWRL_RULE)) {
+            Set<SWRLAtom> body = r.getBody();
+            assertEquals(1, body.size());
+            SWRLAtom element = body.iterator().next();
+            assertTrue(element instanceof SWRLClassAtom);
+            Set<OWLAnonymousIndividual> anonymousIndividuals = ((SWRLClassAtom) element)
+                .getAnonymousIndividuals();
+            assertEquals(1, anonymousIndividuals.size());
+            String id = anonymousIndividuals.iterator().next().getID().getID();
+            assertTrue(id.matches("_:genid\\d+"));
+            idsInRules.add(id);
+        }
+        String out = saveOntology(o, new OWLXMLDocumentFormat()).toString();
+        for (String id : idsInRules) {
+            assertTrue(out.contains("<AnonymousIndividual nodeID=\"" + id
+                + "\"/>"));
+        }
+    }
 }
diff --git a/contract/src/test/resources/swrl_individual.owx b/contract/src/test/resources/swrl_individual.owx
@@ -0,0 +1,41 @@
+<?xml version="1.0"?>
+<Ontology xmlns="http://www.w3.org/2002/07/owl#"
+          xml:base="http://www.example.com/iri"
+          xmlns:o="http://www.example.com/iri#"
+          xmlns:owl="http://www.w3.org/2002/07/owl#"
+          xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+          xmlns:xml="http://www.w3.org/XML/1998/namespace"
+          xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+          xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+          ontologyIRI="http://www.example.com/iri"
+          versionIRI="http://www.example.com/viri">
+    <Prefix name="o" IRI="http://www.example.com/iri#"/>
+    <Prefix name="owl" IRI="http://www.w3.org/2002/07/owl#"/>
+    <Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
+    <Prefix name="xml" IRI="http://www.w3.org/XML/1998/namespace"/>
+    <Prefix name="xsd" IRI="http://www.w3.org/2001/XMLSchema#"/>
+    <Prefix name="rdfs" IRI="http://www.w3.org/2000/01/rdf-schema#"/>
+    <Declaration>
+        <Class IRI="#A"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#B"/>
+    </Declaration>
+    <Declaration>
+        <NamedIndividual IRI="#I"/>
+    </Declaration>
+    <DLSafeRule>
+        <Body>
+            <ClassAtom>
+                <Class IRI="#A"/>
+                <AnonymousIndividual nodeID="_:genid2147483648"/>
+            </ClassAtom>
+        </Body>
+        <Head>
+            <ClassAtom>
+                <Class IRI="#B"/>
+                <NamedIndividual IRI="#I"/>
+            </ClassAtom>
+        </Head>
+    </DLSafeRule>
+</Ontology>
diff --git a/parsers/src/main/java/org/semanticweb/owlapi/owlxml/parser/PARSER_OWLXMLVocabulary.java b/parsers/src/main/java/org/semanticweb/owlapi/owlxml/parser/PARSER_OWLXMLVocabulary.java
@@ -1920,6 +1920,11 @@ void handleChild(ClassEH<? extends OWLClassExpression, ?> h) {
     void handleChild(IndividualEH h) {
         builder.with(swrlInd(h.getOWLObject()));
     }
+
+    @Override
+    void handleChild(AnonEH h) {
+        builder.with(swrlInd(h.getOWLObject()));
+    }
 }
 
 

Original file line number	Diff line number	Diff line change
`@@ -1920,6 +1920,11 @@ void handleChild(ClassEH<? extends OWLClassExpression, ?> h) {`
`1920`	`1920`	`void handleChild(IndividualEH h) {`
`1921`	`1921`	`builder.with(swrlInd(h.getOWLObject()));`
`1922`	`1922`	`}`
	`1923`	`+`
	`1924`	`+ @Override`
	`1925`	`+ void handleChild(AnonEH h) {`
	`1926`	`+ builder.with(swrlInd(h.getOWLObject()));`
	`1927`	`+ }`
`1923`	`1928`	`}`
`1924`	`1929`
`1925`	`1930`