Add examples

examples/alcq/consistent/infinite-chain.owl

+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

examples/alcq/consistent/manyconcepts200.owl

+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

examples/alcq/consistent/negchain.owl

+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

examples/alcq/consistent/pair-links.owl

+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

examples/alcq/consistent/simplebool.owl

+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

examples/alcq/consistent/x-is-x.owl

+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

examples/alcq/inconsistent/bottomistop.owl

+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

examples/alcq/inconsistent/missing-inverse.owl

+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

examples/alcq/inconsistent/negchain.owl

+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

examples/alcq/inconsistent/subset.owl

+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

examples/alcq/inconsistent/subset2.owl

+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

examples/alcq/v1.owl

+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

examples/alcq/v2.owl

+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