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 case ontology
Imported symbols: see MediaWiki:smw_import_test
- test:TestCase, subclasses:
- test:status (values: test:Proposed, test:Approved, test:Rejected)
- test:species (values: test:FULL, test:DL)
- test:profile (values: test:QL, test:EL, test:RL)
- test:inputOntology, subproperties:
- test:normativeSyntax (values: test:FUNCTIONAL, test:OWLXML, test:RDFXML)
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.