From 54c35053ffccfd5b5784f0b8bd594c0488658c58 Mon Sep 17 00:00:00 2001
From: Chris Mungall <cjm@berkeleybop.org>
Date: Sun, 2 Oct 2016 14:25:53 -0700
Subject: [PATCH] new examples

---
 src/test/resources/abox.owl | 74 +++++++++++++++++++++++++++++++++++++
 1 file changed, 74 insertions(+)
 create mode 100644 src/test/resources/abox.owl

diff --git a/src/test/resources/abox.owl b/src/test/resources/abox.owl
new file mode 100644
index 0000000..9160c80
--- /dev/null
+++ b/src/test/resources/abox.owl
@@ -0,0 +1,74 @@
+Prefix: : <http://purl.obolibrary.org/obo/T/>
+Ontology: <http://purl.obolibrary.org/obo/T>
+
+## foo
+Class: Person
+Class: Male
+  SubClassOf: Person
+Class: Female
+  SubClassOf: Person
+
+ObjectProperty: genealogically-related-to
+
+ObjectProperty: ancestor-of
+  Characteristics: Transitive
+  SubPropertyOf: genealogically-related-to
+ObjectProperty: descendant-of
+  Characteristics: Transitive
+  InverseOf: ancestor-of
+  SubPropertyOf: genealogically-related-to
+
+ObjectProperty: child-of
+  SubPropertyOf: descendant-of
+ObjectProperty: parent-of
+  InverseOf: child-of
+  SubPropertyOf: ancestor-of
+
+ObjectProperty: father-of
+  SubPropertyOf: parent-of
+  Domain: Male
+ObjectProperty: mother-of
+  SubPropertyOf: parent-of
+  Domain: Female
+
+ObjectProperty: grandparent-of
+  SubPropertyOf: ancestor-of
+  SubPropertyChain: parent-of o parent-of  
+ObjectProperty: grandmother-of
+  SubPropertyOf: grandparent-of
+  SubPropertyChain: mother-of o parent-of  
+ObjectProperty: grandfather-of
+  SubPropertyOf: grandparent-of
+  SubPropertyChain: parent-of o parent-of  
+
+
+## Note: reflexive for purposes of simplicity
+ObjectProperty: sibling-of
+  SubPropertyOf: genealogically-related-to
+  SubPropertyChain: child-of o parent-of
+  
+ObjectProperty: sister-of
+  SubPropertyOf: sibling-of
+  Domain: Female
+ObjectProperty: brother-of
+  SubPropertyOf: sibling-of
+  Domain: Male
+
+Individual: f1
+  Types: Male
+  Facts: father-of b
+  Facts: father-of c
+
+Individual: m1
+  Types: Female
+  Facts: mother-of b
+  Facts: mother-of c
+
+Individual: b
+  Facts: father-of b1
+  Facts: father-of b2
+
+Individual: c
+
+Individual: b1
+Individual: b2