New pages
From korrekt.org
- 18:17, 4 May 2012 Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog (hist) [1,950 bytes] Markus Krötzsch (Talk | contribs) (Created page with "{{publication |author1=Sebastian Rudolph |author2=Markus Krötzsch |author3=Pascal Hitzler |title=Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision...")
- 09:01, 3 May 2012 OWL: Yet to arrive on the Web of Data? (hist) [2,032 bytes] Markus Krötzsch (Talk | contribs) (Created page with "{{publication |author1=Birte Glimm |author2=Aidan Hogan |author3=Markus Krötzsch |author4=Axel Polleres |title=OWL: Yet to arrive on the Web of Data? |where=LDOW2012 |booktitle=...")
- 16:27, 13 March 2012 OWL 2 Profiles (hist) [2,483 bytes] Markus Krötzsch (Talk | contribs) (lecture notes on OWL profiles)
- 14:54, 16 February 2012 ELK: A Reasoner for OWL EL Ontologies (hist) [1,929 bytes] Markus Krötzsch (Talk | contribs) ( ELK system description)
- 11:52, 6 February 2012 Growning Open Source Communities Around Academic Projects (hist) [2,346 bytes] Markus Krötzsch (Talk | contribs) (open advice is published!)
- 23:46, 4 February 2012 Short biography (hist) [1,454 bytes] Markus Krötzsch (Talk | contribs) (Created page with "Below is a brief personal description in the usual third-person style. More information can be found on my personal page. There is also another page with a m...")
- 23:43, 4 February 2012 Grants and awards (hist) [1,942 bytes] Markus Krötzsch (Talk | contribs) (stand-alone page for cleaning up main page)
- 21:39, 4 February 2012 Acyclicity Conditions and their Application to Query Answering in Description Logics (hist) [2,603 bytes] Markus Krötzsch (Talk | contribs) (+KR publication)
- 10:43, 2 February 2012 Complexities of Horn Description Logics (hist) [3,019 bytes] Markus Krötzsch (Talk | contribs) (prepritn of TOCL paper available)
- 08:17, 20 January 2012 A Description Logic Primer (hist) [1,940 bytes] Markus Krötzsch (Talk | contribs) (Created page with "{{publication |author1=Markus Krötzsch |author2=František Simančík |author3=Ian Horrocks |title=A Description Logic Primer |where=CoRR |booktitle=CoRR abs/1201.4089 |publishe...")
- 09:14, 12 December 2011 Practical Reasoning with Nominals in the EL Family of Description Logics (hist) [2,196 bytes] Markus Krötzsch (Talk | contribs) (new technical report)
- 09:06, 1 December 2011 Second-Order Queries for Rule-Based Data Access (hist) [1,893 bytes] Markus Krötzsch (Talk | contribs) (Created page with "{{publication |author1=Markus Krötzsch |author2=Sebastian Rudolph |title=Second-Order Queries for Rule-Based Data Access |date=2011 |updated=Dec 1 2011 |type=Technical report <!...")
