diff --git a/robot-core/src/test/java/org/obolibrary/robot/ReduceOperationTest.java b/robot-core/src/test/java/org/obolibrary/robot/ReduceOperationTest.java index 022b1be15..3ada5b069 100644 --- a/robot-core/src/test/java/org/obolibrary/robot/ReduceOperationTest.java +++ b/robot-core/src/test/java/org/obolibrary/robot/ReduceOperationTest.java @@ -169,7 +169,7 @@ public void testReduceDomainCase() throws IOException, OWLOntologyCreationExcept /** Test reduce only named classes vs. including expressions */ @Test - public void testReducedNamedOnly() throws OWLOntologyCreationException, IOException { + public void testReduceNamedOnly() throws OWLOntologyCreationException, IOException { OWLReasonerFactory reasonerFactory = new org.semanticweb.elk.owlapi.ElkReasonerFactory(); OWLOntology ontologyA = loadOntology("/reduce-named-only-test.ofn"); @@ -184,4 +184,16 @@ public void testReducedNamedOnly() throws OWLOntologyCreationException, IOExcept ReduceOperation.reduce(ontologyB, reasonerFactory, optionsB); assertIdentical("/reduce-named-only-test-named-only-false-reduced.ofn", ontologyB); } + + /** Ensure that reciprocal subclasses aren't cut off from their superclasses */ + @Test + public void testReduceNamedOnlyReciprocalSubclasses() + throws IOException, OWLOntologyCreationException { + OWLReasonerFactory reasonerFactory = new org.semanticweb.elk.owlapi.ElkReasonerFactory(); + OWLOntology ontology = loadOntology("/reduce-reciprocal-subclasses-named-only.ofn"); + Map options = new HashMap(); + options.put("named-classes-only", "true"); + ReduceOperation.reduce(ontology, reasonerFactory, options); + assertIdentical("/reduce-reciprocal-subclasses-named-only-reduced.ofn", ontology); + } } diff --git a/robot-core/src/test/resources/reduce-reciprocal-subclasses-named-only-reduced.ofn b/robot-core/src/test/resources/reduce-reciprocal-subclasses-named-only-reduced.ofn new file mode 100644 index 000000000..ae190f5e4 --- /dev/null +++ b/robot-core/src/test/resources/reduce-reciprocal-subclasses-named-only-reduced.ofn @@ -0,0 +1,49 @@ +Prefix(:=) +Prefix(owl:=) +Prefix(rdf:=) +Prefix(xml:=) +Prefix(xsd:=) +Prefix(rdfs:=) + + +Ontology( + +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +############################ +# Classes +############################ + +# Class: () + +SubClassOf( ) + +# Class: () + +SubClassOf( ) + +# Class: () + +SubClassOf( ) + +# Class: () + +SubClassOf( ) +SubClassOf( ) + +# Class: () + +SubClassOf( ) + +# Class: () + +SubClassOf( ) +SubClassOf( ) + + +) \ No newline at end of file diff --git a/robot-core/src/test/resources/reduce-reciprocal-subclasses-named-only.ofn b/robot-core/src/test/resources/reduce-reciprocal-subclasses-named-only.ofn new file mode 100644 index 000000000..76729560a --- /dev/null +++ b/robot-core/src/test/resources/reduce-reciprocal-subclasses-named-only.ofn @@ -0,0 +1,51 @@ +Prefix(:=) +Prefix(owl:=) +Prefix(rdf:=) +Prefix(xml:=) +Prefix(xsd:=) +Prefix(rdfs:=) + + +Ontology( + +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +Declaration(Class()) +############################ +# Classes +############################ + +# Class: () + +SubClassOf( ) + +# Class: () + +SubClassOf( ) + +# Class: () + +SubClassOf( ) +SubClassOf( ) + +# Class: () + +SubClassOf( ) +SubClassOf( ) + +# Class: () + +SubClassOf( ) +SubClassOf( ) + +# Class: () + +SubClassOf( ) +SubClassOf( ) + + +) \ No newline at end of file pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy