Add a test for unsupported reflexive property in a chain

This test is for future when the support will be extended. Currently, this case is not completely supported, so the test is ignored.
liveontologies · Sep 8, 2017 · ac46b20 · ac46b20
1 parent a7ab54e
commit ac46b20
Show file tree

Hide file tree

Showing 4 changed files with 28 additions and 2 deletions.
diff --git a/...ava/org/semanticweb/elk/owlapi/OWLAPIDiffObjectPropertyClassificationCorrectnessTest.java b/...ava/org/semanticweb/elk/owlapi/OWLAPIDiffObjectPropertyClassificationCorrectnessTest.java
@@ -43,7 +43,11 @@
 public class OWLAPIDiffObjectPropertyClassificationCorrectnessTest
 		extends BaseObjectPropertyClassificationCorrectnessTest {
 
-	static final String[] IGNORE_LIST = {};
+	// @formatter:off
+	static final String[] IGNORE_LIST = {
+			ElkTestUtils.TEST_INPUT_LOCATION + "/classification/object_property/ChainWithReflexive.owl",
+		};
+	// @formatter:on
 
 	static {
 		Arrays.sort(IGNORE_LIST);

diff --git a/...java/org/semanticweb/elk/reasoner/ElkDiffObjectPropertyClassificationCorrectnessTest.java b/...java/org/semanticweb/elk/reasoner/ElkDiffObjectPropertyClassificationCorrectnessTest.java
@@ -36,7 +36,11 @@
 public class ElkDiffObjectPropertyClassificationCorrectnessTest
 		extends BaseObjectPropertyClassificationCorrectnessTest {
 
-	static final String[] IGNORE_LIST = {};
+	// @formatter:off
+	static final String[] IGNORE_LIST = {
+			ElkTestUtils.TEST_INPUT_LOCATION + "/classification/object_property/ChainWithReflexive.owl",
+		};
+	// @formatter:on
 
 	static {
 		Arrays.sort(IGNORE_LIST);

diff --git a/...soner/src/test/resources/test_input/classification/object_property/ChainWithReflexive.owl b/...soner/src/test/resources/test_input/classification/object_property/ChainWithReflexive.owl
@@ -0,0 +1,9 @@
+Prefix(: = <http://example.org/>)
+Prefix(rdf: = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
+Prefix(rdfs: = <http://www.w3.org/2000/01/rdf-schema#>)
+Prefix(xsd: = <http://www.w3.org/2001/XMLSchema#>)
+Prefix(owl: = <http://www.w3.org/2002/07/owl#>)
+Ontology(
+ReflexiveObjectProperty(:S)
+SubObjectPropertyOf(ObjectPropertyChain(:R :S) :H)
+)
diff --git a/...t/resources/test_input/classification/object_property/ChainWithReflexive.propertytaxonomy b/...t/resources/test_input/classification/object_property/ChainWithReflexive.propertytaxonomy
@@ -0,0 +1,9 @@
+Prefix(: = <http://example.org/>)
+Prefix(rdf: = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
+Prefix(rdfs: = <http://www.w3.org/2000/01/rdf-schema#>)
+Prefix(xsd: = <http://www.w3.org/2001/XMLSchema#>)
+Prefix(owl: = <http://www.w3.org/2002/07/owl#>)
+Ontology(
+Declaration(ObjectProperty(:S))
+SubObjectPropertyOf(:R :H)
+)