User contributions
From OWL Test Cases
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 20:42, 28 July 2009 (hist | diff) m Consistent-but-all-unsat
- 20:41, 28 July 2009 (hist | diff) Consistent-but-all-unsat (Fix conclusion ontology)
- 20:38, 28 July 2009 (hist | diff) m Consistent-but-all-unsat (Reverted edits by Mike Smith (Talk) to last version by Markus Krötzsch)
- 20:32, 28 July 2009 (hist | diff) Consistent-but-all-unsat
- 14:51, 23 July 2009 (hist | diff) New-Feature-Rational-001 (top)
- 14:50, 23 July 2009 (hist | diff) New-Feature-Rational-002 (top)
- 14:50, 23 July 2009 (hist | diff) New-Feature-Rational-003 (top)
- 00:37, 23 July 2009 (hist | diff) m New-Feature-Rational-003 (Protected "New-Feature-Rational-003": Proposed status ([edit=sysop] (indefinite) [move=sysop] (indefinite)))
- 00:37, 23 July 2009 (hist | diff) m New-Feature-Rational-003-RDFXML (Protected "New-Feature-Rational-003-RDFXML": Proposed status ([edit=sysop] (indefinite) [move=sysop] (indefinite))) (top)
- 00:36, 23 July 2009 (hist | diff) N New-Feature-Rational-003-RDFXML (New page: This page provides a manually translated normative RDF/XML syntax version for New-Feature-Rational-003. == Premise ontology ({{Downloadlink|p}}) == {...)
- 00:35, 23 July 2009 (hist | diff) New-Feature-Rational-003
- 00:35, 23 July 2009 (hist | diff) N New-Feature-Rational-003 (New page: {{ConsistencyTestCase |proposed=2009-07-22 |description=A consistent ontology demonstrating owl:rational is different from xsd:decimal. The decimal literal requires 16 digits, the minimum...)
- 00:30, 23 July 2009 (hist | diff) m New-Feature-Rational-002 (Protected "New-Feature-Rational-002": Proposed status ([edit=sysop] (indefinite) [move=sysop] (indefinite)))
- 00:29, 23 July 2009 (hist | diff) m New-Feature-Rational-002-RDFXML (Protected "New-Feature-Rational-002-RDFXML": Proposed status ([edit=sysop] (indefinite) [move=sysop] (indefinite))) (top)
- 00:27, 23 July 2009 (hist | diff) New-Feature-Rational-002-RDFXML
- 00:24, 23 July 2009 (hist | diff) New-Feature-Rational-002
- 00:23, 23 July 2009 (hist | diff) New-Feature-Rational-002-RDFXML
- 00:21, 23 July 2009 (hist | diff) New-Feature-Rational-002-RDFXML
- 00:21, 23 July 2009 (hist | diff) N New-Feature-Rational-002-RDFXML (New page: This page provides a manually translated normative RDF/XML syntax version for New-Feature-Rational-001. == Premise ontology ({{Downloadlink|p}}) == {...)
- 00:18, 23 July 2009 (hist | diff) New-Feature-Rational-002
- 00:17, 23 July 2009 (hist | diff) New-Feature-Rational-001
- 00:16, 23 July 2009 (hist | diff) N New-Feature-Rational-002 (New page: {{InconsistencyTestCase |description=An inconsistent ontology using owl:rational |author=Mike Smith, Birte Glimm |syntax=Functional syntax |inconsistent-ontology=Prefix( : = <http://exampl...)
- 00:11, 23 July 2009 (hist | diff) m New-Feature-Rational-001 (Protected "New-Feature-Rational-001": Proposed status ([edit=sysop] (indefinite) [move=sysop] (indefinite)))
- 00:10, 23 July 2009 (hist | diff) m New-Feature-Rational-001-RDFXML (Protected "New-Feature-Rational-001-RDFXML": Proposed status ([edit=sysop] (indefinite) [move=sysop] (indefinite))) (top)
- 00:09, 23 July 2009 (hist | diff) N New-Feature-Rational-001-RDFXML (New page: This page provides a manually translated normative RDF/XML syntax version for New-Feature-Rational-001. == Premise ontology ({{Downloadlink|p}}) == {...)
- 00:04, 23 July 2009 (hist | diff) New-Feature-Rational-001
- 00:03, 23 July 2009 (hist | diff) New-Feature-Rational-001
- 00:03, 23 July 2009 (hist | diff) N New-Feature-Rational-001 (New page: {{ConsistencyTestCase |description=A consistent ontology using owl:rational |author=Mike Smith, Birte Glimm |syntax=Functional syntax |consistent-ontology=Prefix( : = <http://example.org/>...)
- 23:51, 22 July 2009 (hist | diff) TestCase:WebOnt-miscellaneous-010
- 23:51, 22 July 2009 (hist | diff) TestCase:WebOnt-miscellaneous-011 (top)
- 23:50, 22 July 2009 (hist | diff) TestCase:WebOnt-I5.8-005 (top)
- 23:50, 22 July 2009 (hist | diff) TestCase:WebOnt-I5.8-004 (top)
- 23:49, 22 July 2009 (hist | diff) TestCase:WebOnt-I5.8-003 (top)
- 23:49, 22 July 2009 (hist | diff) TestCase:WebOnt-I5.8-002 (top)
- 23:49, 22 July 2009 (hist | diff) TestCase:WebOnt-I5.8-001 (top)
- 23:46, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-910 (top)
- 23:46, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-909 (top)
- 23:46, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-907 (top)
- 23:46, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-906 (top)
- 23:45, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-904 (top)
- 23:45, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-903 (top)
- 23:43, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-664 (top)
- 23:43, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-663 (top)
- 23:43, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-662 (top)
- 23:43, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-206 (top)
- 23:43, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-204 (top)
- 23:42, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-203 (top)
- 23:41, 22 July 2009 (hist | diff) TestCase:WebOnt-description-logic-203
- 14:53, 21 July 2009 (hist | diff) Rdfbased-sem-prop-priorversion-type-annot (top)
- 14:52, 21 July 2009 (hist | diff) Rdfbased-sem-prop-incompatiblewith-type-annot (top)
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
