diff --git a/examples/alcq/consistent/infinite-chain.owl b/examples/alcq/consistent/infinite-chain.owl
new file mode 100644
index 0000000000000000000000000000000000000000..b9c8b94733a9a606aab68969b87c48ad06875347
--- /dev/null
+++ b/examples/alcq/consistent/infinite-chain.owl
@@ -0,0 +1,5 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+  EquivalentClasses( owl:Thing ObjectSomeValuesFrom( :R owl:Thing ) )
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/consistent/manyconcepts200.owl b/examples/alcq/consistent/manyconcepts200.owl
new file mode 100644
index 0000000000000000000000000000000000000000..5f591e85a50aea99632eabd66aa00612212fc5c2
--- /dev/null
+++ b/examples/alcq/consistent/manyconcepts200.owl
@@ -0,0 +1,206 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+  EquivalentClasses( :C1 ObjectComplementOf( :D1 ))
+  EquivalentClasses( :C2 ObjectComplementOf( :D2 ))
+  EquivalentClasses( :C3 ObjectComplementOf( :D3 ))
+  EquivalentClasses( :C4 ObjectComplementOf( :D4 ))
+  EquivalentClasses( :C5 ObjectComplementOf( :D5 ))
+  EquivalentClasses( :C6 ObjectComplementOf( :D6 ))
+  EquivalentClasses( :C7 ObjectComplementOf( :D7 ))
+  EquivalentClasses( :C8 ObjectComplementOf( :D8 ))
+  EquivalentClasses( :C9 ObjectComplementOf( :D9 ))
+  EquivalentClasses( :C10 ObjectComplementOf( :D10 ))
+  EquivalentClasses( :C11 ObjectComplementOf( :D11 ))
+  EquivalentClasses( :C12 ObjectComplementOf( :D12 ))
+  EquivalentClasses( :C13 ObjectComplementOf( :D13 ))
+  EquivalentClasses( :C14 ObjectComplementOf( :D14 ))
+  EquivalentClasses( :C15 ObjectComplementOf( :D15 ))
+  EquivalentClasses( :C16 ObjectComplementOf( :D16 ))
+  EquivalentClasses( :C17 ObjectComplementOf( :D17 ))
+  EquivalentClasses( :C18 ObjectComplementOf( :D18 ))
+  EquivalentClasses( :C19 ObjectComplementOf( :D19 ))
+  EquivalentClasses( :C20 ObjectComplementOf( :D20 ))
+  EquivalentClasses( :C21 ObjectComplementOf( :D21 ))
+  EquivalentClasses( :C22 ObjectComplementOf( :D22 ))
+  EquivalentClasses( :C23 ObjectComplementOf( :D23 ))
+  EquivalentClasses( :C24 ObjectComplementOf( :D24 ))
+  EquivalentClasses( :C25 ObjectComplementOf( :D25 ))
+  EquivalentClasses( :C26 ObjectComplementOf( :D26 ))
+  EquivalentClasses( :C27 ObjectComplementOf( :D27 ))
+  EquivalentClasses( :C28 ObjectComplementOf( :D28 ))
+  EquivalentClasses( :C29 ObjectComplementOf( :D29 ))
+  EquivalentClasses( :C30 ObjectComplementOf( :D30 ))
+  EquivalentClasses( :C31 ObjectComplementOf( :D31 ))
+  EquivalentClasses( :C32 ObjectComplementOf( :D32 ))
+  EquivalentClasses( :C33 ObjectComplementOf( :D33 ))
+  EquivalentClasses( :C34 ObjectComplementOf( :D34 ))
+  EquivalentClasses( :C35 ObjectComplementOf( :D35 ))
+  EquivalentClasses( :C36 ObjectComplementOf( :D36 ))
+  EquivalentClasses( :C37 ObjectComplementOf( :D37 ))
+  EquivalentClasses( :C38 ObjectComplementOf( :D38 ))
+  EquivalentClasses( :C39 ObjectComplementOf( :D39 ))
+  EquivalentClasses( :C40 ObjectComplementOf( :D40 ))
+  EquivalentClasses( :C41 ObjectComplementOf( :D41 ))
+  EquivalentClasses( :C42 ObjectComplementOf( :D42 ))
+  EquivalentClasses( :C43 ObjectComplementOf( :D43 ))
+  EquivalentClasses( :C44 ObjectComplementOf( :D44 ))
+  EquivalentClasses( :C45 ObjectComplementOf( :D45 ))
+  EquivalentClasses( :C46 ObjectComplementOf( :D46 ))
+  EquivalentClasses( :C47 ObjectComplementOf( :D47 ))
+  EquivalentClasses( :C48 ObjectComplementOf( :D48 ))
+  EquivalentClasses( :C49 ObjectComplementOf( :D49 ))
+  EquivalentClasses( :C50 ObjectComplementOf( :D50 ))
+  EquivalentClasses( :C51 ObjectComplementOf( :D51 ))
+  EquivalentClasses( :C52 ObjectComplementOf( :D52 ))
+  EquivalentClasses( :C53 ObjectComplementOf( :D53 ))
+  EquivalentClasses( :C54 ObjectComplementOf( :D54 ))
+  EquivalentClasses( :C55 ObjectComplementOf( :D55 ))
+  EquivalentClasses( :C56 ObjectComplementOf( :D56 ))
+  EquivalentClasses( :C57 ObjectComplementOf( :D57 ))
+  EquivalentClasses( :C58 ObjectComplementOf( :D58 ))
+  EquivalentClasses( :C59 ObjectComplementOf( :D59 ))
+  EquivalentClasses( :C60 ObjectComplementOf( :D60 ))
+  EquivalentClasses( :C61 ObjectComplementOf( :D61 ))
+  EquivalentClasses( :C62 ObjectComplementOf( :D62 ))
+  EquivalentClasses( :C63 ObjectComplementOf( :D63 ))
+  EquivalentClasses( :C64 ObjectComplementOf( :D64 ))
+  EquivalentClasses( :C65 ObjectComplementOf( :D65 ))
+  EquivalentClasses( :C66 ObjectComplementOf( :D66 ))
+  EquivalentClasses( :C67 ObjectComplementOf( :D67 ))
+  EquivalentClasses( :C68 ObjectComplementOf( :D68 ))
+  EquivalentClasses( :C69 ObjectComplementOf( :D69 ))
+  EquivalentClasses( :C70 ObjectComplementOf( :D70 ))
+  EquivalentClasses( :C71 ObjectComplementOf( :D71 ))
+  EquivalentClasses( :C72 ObjectComplementOf( :D72 ))
+  EquivalentClasses( :C73 ObjectComplementOf( :D73 ))
+  EquivalentClasses( :C74 ObjectComplementOf( :D74 ))
+  EquivalentClasses( :C75 ObjectComplementOf( :D75 ))
+  EquivalentClasses( :C76 ObjectComplementOf( :D76 ))
+  EquivalentClasses( :C77 ObjectComplementOf( :D77 ))
+  EquivalentClasses( :C78 ObjectComplementOf( :D78 ))
+  EquivalentClasses( :C79 ObjectComplementOf( :D79 ))
+  EquivalentClasses( :C80 ObjectComplementOf( :D80 ))
+  EquivalentClasses( :C81 ObjectComplementOf( :D81 ))
+  EquivalentClasses( :C82 ObjectComplementOf( :D82 ))
+  EquivalentClasses( :C83 ObjectComplementOf( :D83 ))
+  EquivalentClasses( :C84 ObjectComplementOf( :D84 ))
+  EquivalentClasses( :C85 ObjectComplementOf( :D85 ))
+  EquivalentClasses( :C86 ObjectComplementOf( :D86 ))
+  EquivalentClasses( :C87 ObjectComplementOf( :D87 ))
+  EquivalentClasses( :C88 ObjectComplementOf( :D88 ))
+  EquivalentClasses( :C89 ObjectComplementOf( :D89 ))
+  EquivalentClasses( :C90 ObjectComplementOf( :D90 ))
+  EquivalentClasses( :C91 ObjectComplementOf( :D91 ))
+  EquivalentClasses( :C92 ObjectComplementOf( :D92 ))
+  EquivalentClasses( :C93 ObjectComplementOf( :D93 ))
+  EquivalentClasses( :C94 ObjectComplementOf( :D94 ))
+  EquivalentClasses( :C95 ObjectComplementOf( :D95 ))
+  EquivalentClasses( :C96 ObjectComplementOf( :D96 ))
+  EquivalentClasses( :C97 ObjectComplementOf( :D97 ))
+  EquivalentClasses( :C98 ObjectComplementOf( :D98 ))
+  EquivalentClasses( :C99 ObjectComplementOf( :D99 ))
+  EquivalentClasses( :C100 ObjectComplementOf( :D100 ))
+  EquivalentClasses( :C101 ObjectComplementOf( :D101 ))
+  EquivalentClasses( :C102 ObjectComplementOf( :D102 ))
+  EquivalentClasses( :C103 ObjectComplementOf( :D103 ))
+  EquivalentClasses( :C104 ObjectComplementOf( :D104 ))
+  EquivalentClasses( :C105 ObjectComplementOf( :D105 ))
+  EquivalentClasses( :C106 ObjectComplementOf( :D106 ))
+  EquivalentClasses( :C107 ObjectComplementOf( :D107 ))
+  EquivalentClasses( :C108 ObjectComplementOf( :D108 ))
+  EquivalentClasses( :C109 ObjectComplementOf( :D109 ))
+  EquivalentClasses( :C110 ObjectComplementOf( :D110 ))
+  EquivalentClasses( :C111 ObjectComplementOf( :D111 ))
+  EquivalentClasses( :C112 ObjectComplementOf( :D112 ))
+  EquivalentClasses( :C113 ObjectComplementOf( :D113 ))
+  EquivalentClasses( :C114 ObjectComplementOf( :D114 ))
+  EquivalentClasses( :C115 ObjectComplementOf( :D115 ))
+  EquivalentClasses( :C116 ObjectComplementOf( :D116 ))
+  EquivalentClasses( :C117 ObjectComplementOf( :D117 ))
+  EquivalentClasses( :C118 ObjectComplementOf( :D118 ))
+  EquivalentClasses( :C119 ObjectComplementOf( :D119 ))
+  EquivalentClasses( :C120 ObjectComplementOf( :D120 ))
+  EquivalentClasses( :C121 ObjectComplementOf( :D121 ))
+  EquivalentClasses( :C122 ObjectComplementOf( :D122 ))
+  EquivalentClasses( :C123 ObjectComplementOf( :D123 ))
+  EquivalentClasses( :C124 ObjectComplementOf( :D124 ))
+  EquivalentClasses( :C125 ObjectComplementOf( :D125 ))
+  EquivalentClasses( :C126 ObjectComplementOf( :D126 ))
+  EquivalentClasses( :C127 ObjectComplementOf( :D127 ))
+  EquivalentClasses( :C128 ObjectComplementOf( :D128 ))
+  EquivalentClasses( :C129 ObjectComplementOf( :D129 ))
+  EquivalentClasses( :C130 ObjectComplementOf( :D130 ))
+  EquivalentClasses( :C131 ObjectComplementOf( :D131 ))
+  EquivalentClasses( :C132 ObjectComplementOf( :D132 ))
+  EquivalentClasses( :C133 ObjectComplementOf( :D133 ))
+  EquivalentClasses( :C134 ObjectComplementOf( :D134 ))
+  EquivalentClasses( :C135 ObjectComplementOf( :D135 ))
+  EquivalentClasses( :C136 ObjectComplementOf( :D136 ))
+  EquivalentClasses( :C137 ObjectComplementOf( :D137 ))
+  EquivalentClasses( :C138 ObjectComplementOf( :D138 ))
+  EquivalentClasses( :C139 ObjectComplementOf( :D139 ))
+  EquivalentClasses( :C140 ObjectComplementOf( :D140 ))
+  EquivalentClasses( :C141 ObjectComplementOf( :D141 ))
+  EquivalentClasses( :C142 ObjectComplementOf( :D142 ))
+  EquivalentClasses( :C143 ObjectComplementOf( :D143 ))
+  EquivalentClasses( :C144 ObjectComplementOf( :D144 ))
+  EquivalentClasses( :C145 ObjectComplementOf( :D145 ))
+  EquivalentClasses( :C146 ObjectComplementOf( :D146 ))
+  EquivalentClasses( :C147 ObjectComplementOf( :D147 ))
+  EquivalentClasses( :C148 ObjectComplementOf( :D148 ))
+  EquivalentClasses( :C149 ObjectComplementOf( :D149 ))
+  EquivalentClasses( :C150 ObjectComplementOf( :D150 ))
+  EquivalentClasses( :C151 ObjectComplementOf( :D151 ))
+  EquivalentClasses( :C152 ObjectComplementOf( :D152 ))
+  EquivalentClasses( :C153 ObjectComplementOf( :D153 ))
+  EquivalentClasses( :C154 ObjectComplementOf( :D154 ))
+  EquivalentClasses( :C155 ObjectComplementOf( :D155 ))
+  EquivalentClasses( :C156 ObjectComplementOf( :D156 ))
+  EquivalentClasses( :C157 ObjectComplementOf( :D157 ))
+  EquivalentClasses( :C158 ObjectComplementOf( :D158 ))
+  EquivalentClasses( :C159 ObjectComplementOf( :D159 ))
+  EquivalentClasses( :C160 ObjectComplementOf( :D160 ))
+  EquivalentClasses( :C161 ObjectComplementOf( :D161 ))
+  EquivalentClasses( :C162 ObjectComplementOf( :D162 ))
+  EquivalentClasses( :C163 ObjectComplementOf( :D163 ))
+  EquivalentClasses( :C164 ObjectComplementOf( :D164 ))
+  EquivalentClasses( :C165 ObjectComplementOf( :D165 ))
+  EquivalentClasses( :C166 ObjectComplementOf( :D166 ))
+  EquivalentClasses( :C167 ObjectComplementOf( :D167 ))
+  EquivalentClasses( :C168 ObjectComplementOf( :D168 ))
+  EquivalentClasses( :C169 ObjectComplementOf( :D169 ))
+  EquivalentClasses( :C170 ObjectComplementOf( :D170 ))
+  EquivalentClasses( :C171 ObjectComplementOf( :D171 ))
+  EquivalentClasses( :C172 ObjectComplementOf( :D172 ))
+  EquivalentClasses( :C173 ObjectComplementOf( :D173 ))
+  EquivalentClasses( :C174 ObjectComplementOf( :D174 ))
+  EquivalentClasses( :C175 ObjectComplementOf( :D175 ))
+  EquivalentClasses( :C176 ObjectComplementOf( :D176 ))
+  EquivalentClasses( :C177 ObjectComplementOf( :D177 ))
+  EquivalentClasses( :C178 ObjectComplementOf( :D178 ))
+  EquivalentClasses( :C179 ObjectComplementOf( :D179 ))
+  EquivalentClasses( :C180 ObjectComplementOf( :D180 ))
+  EquivalentClasses( :C181 ObjectComplementOf( :D181 ))
+  EquivalentClasses( :C182 ObjectComplementOf( :D182 ))
+  EquivalentClasses( :C183 ObjectComplementOf( :D183 ))
+  EquivalentClasses( :C184 ObjectComplementOf( :D184 ))
+  EquivalentClasses( :C185 ObjectComplementOf( :D185 ))
+  EquivalentClasses( :C186 ObjectComplementOf( :D186 ))
+  EquivalentClasses( :C187 ObjectComplementOf( :D187 ))
+  EquivalentClasses( :C188 ObjectComplementOf( :D188 ))
+  EquivalentClasses( :C189 ObjectComplementOf( :D189 ))
+  EquivalentClasses( :C190 ObjectComplementOf( :D190 ))
+  EquivalentClasses( :C191 ObjectComplementOf( :D191 ))
+  EquivalentClasses( :C192 ObjectComplementOf( :D192 ))
+  EquivalentClasses( :C193 ObjectComplementOf( :D193 ))
+  EquivalentClasses( :C194 ObjectComplementOf( :D194 ))
+  EquivalentClasses( :C195 ObjectComplementOf( :D195 ))
+  EquivalentClasses( :C196 ObjectComplementOf( :D196 ))
+  EquivalentClasses( :C197 ObjectComplementOf( :D197 ))
+  EquivalentClasses( :C198 ObjectComplementOf( :D198 ))
+  EquivalentClasses( :C199 ObjectComplementOf( :D199 ))
+  EquivalentClasses( :C200 ObjectComplementOf( :D200 ))
+  EquivalentClasses( :C201 ObjectComplementOf( :D201 ))
+  EquivalentClasses( :C202 ObjectComplementOf( :D202 ))
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/consistent/manyquantors.owl b/examples/alcq/consistent/manyquantors.owl
new file mode 100644
index 0000000000000000000000000000000000000000..d42a24a7271c36b0558e3f9e5799982c66f89298
--- /dev/null
+++ b/examples/alcq/consistent/manyquantors.owl
@@ -0,0 +1,407 @@
+// vim: tabstop=2 et ft=owl
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+// generated by:
+// # do not forget to add the clossing bracket of 'Ontlogy'
+// for i in {0..128} ; do
+//     echo "  EquivalentClasses( owl:Thing"
+//     echo "  ObjectSomeValuesFrom( :R ObjectUnionOf( // $i"
+//     echo -n "  "
+//     for j in {1..7} ; do
+//         [ 0 -eq $((i /(2**(j-1)) % 2)) ] \
+//             && printf "ObjectComplementOf(:C%d) " $j \
+//             || printf ":C%d " $j
+//     done
+//     echo ')))'
+// done | xclip -i
+
+
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 0
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 1
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 2
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 3
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 4
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 5
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 6
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 7
+  :C1 :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 8
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 9
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 10
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 11
+  :C1 :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 12
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 13
+  :C1 ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 14
+  ObjectComplementOf(:C1) :C2 :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 15
+  :C1 :C2 :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 16
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 17
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 18
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 19
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 20
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 21
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 22
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 23
+  :C1 :C2 :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 24
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 25
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 26
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 27
+  :C1 :C2 ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 28
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 29
+  :C1 ObjectComplementOf(:C2) :C3 :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 30
+  ObjectComplementOf(:C1) :C2 :C3 :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 31
+  :C1 :C2 :C3 :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 32
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 33
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 34
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 35
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 36
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 37
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 38
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 39
+  :C1 :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 40
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 41
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 42
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 43
+  :C1 :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 44
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 45
+  :C1 ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 46
+  ObjectComplementOf(:C1) :C2 :C3 :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 47
+  :C1 :C2 :C3 :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 48
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 49
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 50
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 51
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 52
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 53
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 54
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 55
+  :C1 :C2 :C3 ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 56
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 57
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 58
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 59
+  :C1 :C2 ObjectComplementOf(:C3) :C4 :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 60
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 61
+  :C1 ObjectComplementOf(:C2) :C3 :C4 :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 62
+  ObjectComplementOf(:C1) :C2 :C3 :C4 :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 63
+  :C1 :C2 :C3 :C4 :C5 :C6 ObjectComplementOf(:C7) )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 64
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 65
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 66
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 67
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 68
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 69
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 70
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 71
+  :C1 :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 72
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 73
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 74
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 75
+  :C1 :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 76
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 77
+  :C1 ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 78
+  ObjectComplementOf(:C1) :C2 :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 79
+  :C1 :C2 :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 80
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 81
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 82
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 83
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 84
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 85
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 86
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 87
+  :C1 :C2 :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 88
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 89
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 90
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 91
+  :C1 :C2 ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 92
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 93
+  :C1 ObjectComplementOf(:C2) :C3 :C4 :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 94
+  ObjectComplementOf(:C1) :C2 :C3 :C4 :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 95
+  :C1 :C2 :C3 :C4 :C5 ObjectComplementOf(:C6) :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 96
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 97
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 98
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 99
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 100
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 101
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 102
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 103
+  :C1 :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 104
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 105
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 106
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 107
+  :C1 :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 108
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 109
+  :C1 ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 110
+  ObjectComplementOf(:C1) :C2 :C3 :C4 ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 111
+  :C1 :C2 :C3 :C4 ObjectComplementOf(:C5) :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 112
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 113
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 114
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 115
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 116
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 117
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 118
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 119
+  :C1 :C2 :C3 ObjectComplementOf(:C4) :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 120
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 121
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 122
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 123
+  :C1 :C2 ObjectComplementOf(:C3) :C4 :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 124
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 125
+  :C1 ObjectComplementOf(:C2) :C3 :C4 :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 126
+  ObjectComplementOf(:C1) :C2 :C3 :C4 :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 127
+  :C1 :C2 :C3 :C4 :C5 :C6 :C7 )))
+  EquivalentClasses( owl:Thing
+  ObjectSomeValuesFrom( :R ObjectUnionOf( // 128
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) )))
+
+)
diff --git a/examples/alcq/consistent/negchain.owl b/examples/alcq/consistent/negchain.owl
new file mode 100644
index 0000000000000000000000000000000000000000..3bcd183dd5724d54348dddf1705db38d3419dec1
--- /dev/null
+++ b/examples/alcq/consistent/negchain.owl
@@ -0,0 +1,15 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+  EquivalentClasses( :X ObjectComplementOf( :Y ))
+  EquivalentClasses( :Y ObjectComplementOf( :X ))
+
+  EquivalentClasses( :C1 ObjectComplementOf( :C2 ))
+  EquivalentClasses( :C2 ObjectComplementOf( :C3 ))
+  EquivalentClasses( :C3 ObjectComplementOf( :C4 ))
+  EquivalentClasses( :C4 ObjectComplementOf( :C5 ))
+  EquivalentClasses( :C5 ObjectComplementOf( :C6 ))
+  EquivalentClasses( :C6 ObjectComplementOf( :C7 ))
+  EquivalentClasses( :C7 ObjectComplementOf( :C8 ))
+  EquivalentClasses( :C8 ObjectComplementOf( :C1 ))
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/consistent/pair-links.owl b/examples/alcq/consistent/pair-links.owl
new file mode 100644
index 0000000000000000000000000000000000000000..8f1bf38ea904e7640e9f5e35f4c6ea3e2e7e1aea
--- /dev/null
+++ b/examples/alcq/consistent/pair-links.owl
@@ -0,0 +1,13 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+
+    EquivalentClasses(
+        owl:Thing
+        ObjectSomeValuesFrom(
+            :R
+            ObjectSomeValuesFrom(
+                ObjectInverseOf(:R)
+                owl:Thing)))
+
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/consistent/simplebool.owl b/examples/alcq/consistent/simplebool.owl
new file mode 100644
index 0000000000000000000000000000000000000000..94c8f07e5be9913c7bb72de0ff7bef6f18f73872
--- /dev/null
+++ b/examples/alcq/consistent/simplebool.owl
@@ -0,0 +1,7 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+  SubClassOf( :A ObjectComplementOf( :B ))
+  SubClassOf( :B ObjectComplementOf( :C ))
+  SubClassOf( :C ObjectIntersectionOf(ObjectComplementOf(:A) ObjectComplementOf(:B)))
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/consistent/x-is-x.owl b/examples/alcq/consistent/x-is-x.owl
new file mode 100644
index 0000000000000000000000000000000000000000..39dd8a1994c5785ca1a27168cc35489b37b70ebc
--- /dev/null
+++ b/examples/alcq/consistent/x-is-x.owl
@@ -0,0 +1,6 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+  EquivalentClasses( :X :Y )
+  EquivalentClasses( :Y :X )
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/inconsistent/bottomistop.owl b/examples/alcq/inconsistent/bottomistop.owl
new file mode 100644
index 0000000000000000000000000000000000000000..161ef28ed8c9a70fa4fea774f983648da52c88ea
--- /dev/null
+++ b/examples/alcq/inconsistent/bottomistop.owl
@@ -0,0 +1,5 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+  SubClassOf( owl:Thing ObjectIntersectionOf(:A ObjectComplementOf( :A )))
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/inconsistent/manyunions.owl b/examples/alcq/inconsistent/manyunions.owl
new file mode 100644
index 0000000000000000000000000000000000000000..e15ae8eaaca8ebe33eff6a6fd88bcd1bb6ddc4d1
--- /dev/null
+++ b/examples/alcq/inconsistent/manyunions.owl
@@ -0,0 +1,278 @@
+// vim: tabstop=2 et ft=owl
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+// generated by:
+// # do not forget to add the clossing bracket of 'Ontlogy'
+// for i in {0..128} ; do
+//     echo "  EquivalentClasses( owl:Thing ObjectUnionOf( // $i"
+//     echo -n "  "
+//     for j in {1..7} ; do
+//         [ 0 -eq $((i /(2**(j-1)) % 2)) ] \
+//             && printf "ObjectComplementOf(:C%d) " $j \
+//             || printf ":C%d " $j
+//     done
+//     echo '))'
+// done | xclip -i
+
+
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 0
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 1
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 2
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 3
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 4
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 5
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 6
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 7
+  :C1 :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 8
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 9
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 10
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 11
+  :C1 :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 12
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 13
+  :C1 ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 14
+  ObjectComplementOf(:C1) :C2 :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 15
+  :C1 :C2 :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 16
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 17
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 18
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 19
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 20
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 21
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 22
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 23
+  :C1 :C2 :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 24
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 25
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 26
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 27
+  :C1 :C2 ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 28
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 29
+  :C1 ObjectComplementOf(:C2) :C3 :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 30
+  ObjectComplementOf(:C1) :C2 :C3 :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 31
+  :C1 :C2 :C3 :C4 :C5 ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 32
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 33
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 34
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 35
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 36
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 37
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 38
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 39
+  :C1 :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 40
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 41
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 42
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 43
+  :C1 :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 44
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 45
+  :C1 ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 46
+  ObjectComplementOf(:C1) :C2 :C3 :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 47
+  :C1 :C2 :C3 :C4 ObjectComplementOf(:C5) :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 48
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 49
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 50
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 51
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 52
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 53
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 54
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 55
+  :C1 :C2 :C3 ObjectComplementOf(:C4) :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 56
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 57
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 58
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 59
+  :C1 :C2 ObjectComplementOf(:C3) :C4 :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 60
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 61
+  :C1 ObjectComplementOf(:C2) :C3 :C4 :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 62
+  ObjectComplementOf(:C1) :C2 :C3 :C4 :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 63
+  :C1 :C2 :C3 :C4 :C5 :C6 ObjectComplementOf(:C7) ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 64
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 65
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 66
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 67
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 68
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 69
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 70
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 71
+  :C1 :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 72
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 73
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 74
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 75
+  :C1 :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 76
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 77
+  :C1 ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 78
+  ObjectComplementOf(:C1) :C2 :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 79
+  :C1 :C2 :C3 :C4 ObjectComplementOf(:C5) ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 80
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 81
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 82
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 83
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 84
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 85
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 86
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 87
+  :C1 :C2 :C3 ObjectComplementOf(:C4) :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 88
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 89
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 90
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 91
+  :C1 :C2 ObjectComplementOf(:C3) :C4 :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 92
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 93
+  :C1 ObjectComplementOf(:C2) :C3 :C4 :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 94
+  ObjectComplementOf(:C1) :C2 :C3 :C4 :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 95
+  :C1 :C2 :C3 :C4 :C5 ObjectComplementOf(:C6) :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 96
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 97
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 98
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 99
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 100
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 101
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 102
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 103
+  :C1 :C2 :C3 ObjectComplementOf(:C4) ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 104
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 105
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 106
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 107
+  :C1 :C2 ObjectComplementOf(:C3) :C4 ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 108
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 109
+  :C1 ObjectComplementOf(:C2) :C3 :C4 ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 110
+  ObjectComplementOf(:C1) :C2 :C3 :C4 ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 111
+  :C1 :C2 :C3 :C4 ObjectComplementOf(:C5) :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 112
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 113
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 114
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 115
+  :C1 :C2 ObjectComplementOf(:C3) ObjectComplementOf(:C4) :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 116
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 117
+  :C1 ObjectComplementOf(:C2) :C3 ObjectComplementOf(:C4) :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 118
+  ObjectComplementOf(:C1) :C2 :C3 ObjectComplementOf(:C4) :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 119
+  :C1 :C2 :C3 ObjectComplementOf(:C4) :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 120
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 121
+  :C1 ObjectComplementOf(:C2) ObjectComplementOf(:C3) :C4 :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 122
+  ObjectComplementOf(:C1) :C2 ObjectComplementOf(:C3) :C4 :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 123
+  :C1 :C2 ObjectComplementOf(:C3) :C4 :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 124
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) :C3 :C4 :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 125
+  :C1 ObjectComplementOf(:C2) :C3 :C4 :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 126
+  ObjectComplementOf(:C1) :C2 :C3 :C4 :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 127
+  :C1 :C2 :C3 :C4 :C5 :C6 :C7 ))
+  EquivalentClasses( owl:Thing ObjectUnionOf( // 128
+  ObjectComplementOf(:C1) ObjectComplementOf(:C2) ObjectComplementOf(:C3) ObjectComplementOf(:C4) ObjectComplementOf(:C5) ObjectComplementOf(:C6) ObjectComplementOf(:C7) ))
+
+
+)
diff --git a/examples/alcq/inconsistent/missing-inverse.owl b/examples/alcq/inconsistent/missing-inverse.owl
new file mode 100644
index 0000000000000000000000000000000000000000..1922b57197d15aa22f3d2df134ecf8e708dee049
--- /dev/null
+++ b/examples/alcq/inconsistent/missing-inverse.owl
@@ -0,0 +1,10 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+
+  EquivalentClasses( owl:Thing
+        ObjectSomeValuesFrom(
+            ObjectInverseOf(:R)
+            ObjectAllValuesFrom( :R owl:Nothing)))
+
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/inconsistent/negchain.owl b/examples/alcq/inconsistent/negchain.owl
new file mode 100644
index 0000000000000000000000000000000000000000..6151e7bc2396b970a34c006f7c75c566d24eed7b
--- /dev/null
+++ b/examples/alcq/inconsistent/negchain.owl
@@ -0,0 +1,18 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+  EquivalentClasses( :X ObjectComplementOf( :X ))
+  //EquivalentClasses( :X2 ObjectComplementOf( :X3 ))
+  //EquivalentClasses( :X3 ObjectComplementOf( :X1 ))
+
+  // long version:
+  //EquivalentClasses( :X1 ObjectComplementOf( :X2 ))
+  //EquivalentClasses( :X2 ObjectComplementOf( :X3 ))
+  //EquivalentClasses( :X3 ObjectComplementOf( :X4 ))
+  //EquivalentClasses( :X4 ObjectComplementOf( :X5 ))
+  //EquivalentClasses( :X5 ObjectComplementOf( :X6 ))
+  //EquivalentClasses( :X6 ObjectComplementOf( :X7 ))
+  //EquivalentClasses( :X7 ObjectComplementOf( :X8 ))
+  //EquivalentClasses( :X8 ObjectComplementOf( :X9 ))
+  //EquivalentClasses( :X9 ObjectComplementOf( :X1 ))
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/inconsistent/subset.owl b/examples/alcq/inconsistent/subset.owl
new file mode 100644
index 0000000000000000000000000000000000000000..2165a3a644f4c7f97f6fb91a37416c1cf3969f56
--- /dev/null
+++ b/examples/alcq/inconsistent/subset.owl
@@ -0,0 +1,6 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+  EquivalentClasses( owl:Thing ObjectSomeValuesFrom( :R :C))
+  EquivalentClasses( :C ObjectAllValuesFrom( :R owl:Nothing))
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/inconsistent/subset2.owl b/examples/alcq/inconsistent/subset2.owl
new file mode 100644
index 0000000000000000000000000000000000000000..35ab2acc2100d70b08607bb5bd6b050250f56cfd
--- /dev/null
+++ b/examples/alcq/inconsistent/subset2.owl
@@ -0,0 +1,8 @@
+Prefix(:=<http://example.com/yet-another-example.owl#>)
+Ontology( <http://example.com/yet-another-example.owl>
+  EquivalentClasses( owl:Thing ObjectSomeValuesFrom( :S :D))
+  EquivalentClasses( :D ObjectSomeValuesFrom( :R :C))
+  EquivalentClasses( :C ObjectAllValuesFrom( :R owl:Nothing))
+  SubClassOf( :C :D )
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/v1.owl b/examples/alcq/v1.owl
new file mode 100644
index 0000000000000000000000000000000000000000..bfe554a8d341e15c3783127623a37d427cb6cee7
--- /dev/null
+++ b/examples/alcq/v1.owl
@@ -0,0 +1,12 @@
+Prefix(:=<http://example.com/tea.owl#>)
+Ontology( <http://example.com/tea.owl>
+  Declaration( Class( :Tea ) )
+  SubClassOf( :Tea :Drink )
+  EquivalentClasses( :Koffee :Coffee )
+  DisjointClasses(:Tee :Coffee)
+  DisjointUnion(:Person :Men :Women)
+  EquivalentClasses( :Grandparent
+    ObjectSomeValuesFrom( :hasChild
+        ObjectSomeValuesFrom( :hasChild :Person )))
+)
+// vim: tabstop=2 et ft=owl
diff --git a/examples/alcq/v2.owl b/examples/alcq/v2.owl
new file mode 100644
index 0000000000000000000000000000000000000000..9aafa2b29cc2fab68b94dc10283874137fb0b3fe
--- /dev/null
+++ b/examples/alcq/v2.owl
@@ -0,0 +1,7 @@
+Prefix(:=<http://www.example.com/ontology1#>)
+Ontology( <http://www.example.com/ontology1>
+    Annotation( rdfs:label "An example" )
+
+    SubClassOf( :Child owl:Thing )
+)
+// vim: tabstop=2 et ft=owl