User:Markus Krötzsch

Markus Krötzsch is the primary WG representative for FZI Karlsruhe. As of 2009, Markus works as a researcher at the Institute of Applied Informatics and Formal Description Methods (AIFB) of the Universität Karlsruhe (TH). He received his Master of Science in Computational Logic at Technische Universität Dresden. His research interests involve knowledge representation on the Semantic Web, the logical foundations thereof, and the efficient processing of such knowledge. He also is the lead developer of Semantic MediaWiki, co-author of the textbook Foundations of Semantic Web Technologies, and member of the W3C OWL working group.

For further information, see the homepage of Markus Krötzsch.

Test cases

• Test (official document)
• Test cases (documentation of template TestCase)

Test case ontology

Imported symbols: see MediaWiki:smw_import_test

Classes

• test:TestCase, subclasses:
  • test:PositiveEntailmentTest
  • test:NegativeEntailmentTest
  • test:ConsistencyTest
  • test:InconsistencyTest
  • test:ProfileIdentificationTest

Properties

• test:status (values: test:Proposed, test:Approved, test:Rejected)
• test:description
• test:species (values: test:FULL, test:DL)
• test:profile (values: test:QL, test:EL, test:RL)
• test:inputOntology, subproperties:
  • test:premiseOntology
  • test:conclusionOntology
  • test:nonConclusionOntology
• test:normativeSyntax (values: test:FUNCTIONAL, test:OWLXML, test:RDFXML)
• test:issue
• test:identifier
• test:creator

Additional vocabulary for this wiki:

• Property:has author (link to author)
• Property:test case lacks (missing data)
• Property:WebOnt test (URL of according test by WebOnt)
• Category:EL profile test, Category:No EL profile test, Category:QL profile test, Category:No QL profile test, Category:RL profile test, Category:No RL profile test, Category:test cases by profile

Pages for export

MediaWiki:smw_import_test
Category:Test Case
Category:PositiveEntailmentTest
Category:NegativeEntailmentTest
Category:ConsistencyTest
Category:InconsistencyTest
Category:ProfileIdentificationTest
Property:test case status
test:Proposed
test:Approved
test:Rejected
Property:test case description
Property:test case species
test:FULL
test:DL
Property:test case profile
test:QL
test:EL
test:RL
Property:Input ontology
Property:Premise ontology
Property:Conclusion ontology
Property:Nonconclusion ontology
Property:test case syntax
test:FUNCTIONAL
test:OWLXML
test:RDFXML
Property:test case issue
Property:test case id
Property:test case author
Property:has author
Property:test case lacks
Property:WebOnt test
Category:EL profile test
Category:No EL profile test
Category:QL profile test
Category:No QL profile test
Category:RL profile test
Category:No RL profile test
Category:test cases by profile

Test case todos/fixes

• [DONE] Memory limit problems, e.g. on TestCase:WebOnt-description-logic-005
  • [DONE in OWL-Wiki] caused by PHP PCRE library, prevent its extensive use
• [DONE] Run update scripts again (kill wrong special page annotations -- due to broken update job)
  • [DONE in OWL-Wiki] Fix broken update job code
• [DONE in OWL-Wiki] Fix formatting in factbox of TestCase:Datatype-Primitive-Disjointness-001
• [DONE in OWL-Wiki] Fix use of NOFACTBOX (must mark factbox as printed, otherwise it will appear elsewhere)
• [DONE in OWL-Wiki] Fix display of property values (Property page) for Type:Code.
• [DONE] Get admin rights on this wiki to be able to edit the URI mappings for RDF export

List of all test cases

There are proper test cases.