Merge pull request #523 from rctauber/522-fix

Exclude imported axioms from module when `--imports exclude`
ontodev · Jul 19, 2019 · f57909b · f57909b
2 parents 2564ddd + b1e22d2
commit f57909b
Show file tree

Hide file tree

Showing 5 changed files with 754 additions and 6 deletions.
diff --git a/docs/examples/imports-nucleus.owl b/docs/examples/imports-nucleus.owl
@@ -0,0 +1,22 @@
+@prefix : <http://purl.obolibrary.org/obo/robot/imports-nucleus.owl#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@base <http://robot.obolibrary.org/imports-nucleus.owl> .
+
+<http://robot.obolibrary.org/imports-nucleus.owl> rdf:type owl:Ontology ;
+                                                   owl:imports <http://purl.obolibrary.org/obo/go.owl> .
+
+#################################################################
+#    Classes
+#################################################################
+
+###  http://purl.obolibrary.org/obo/GO_0005739
+<http://purl.obolibrary.org/obo/GO_0005739> rdf:type owl:Class ;
+                                            rdfs:subClassOf <http://purl.obolibrary.org/obo/GO_0043231> ;
+                                            rdfs:label "mitochondrion" .
+
+
+###  Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi