User contributions
From korrekt.org
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:03, 2 February 2012 (diff | hist) Complexities of Horn Description Logics (→Remarks) (top)
- 11:00, 2 February 2012 (diff | hist) m Complexities of Horn Description Logics
- 10:57, 2 February 2012 (diff | hist) On the Complexity of Horn Description Logics (updated references) (top)
- 10:55, 2 February 2012 (diff | hist) Horn description logics (Redirected page to Complexities of Horn Description Logics) (top)
- 10:54, 2 February 2012 (diff | hist) How to reason with OWL in a logic programming system (updated remarks) (top)
- 10:49, 2 February 2012 (diff | hist) Complexity Boundaries for Horn Description Logics (point to more recent version) (top)
- 10:43, 2 February 2012 (diff | hist) N Complexities of Horn Description Logics (prepritn of TOCL paper available)
- 20:38, 30 January 2012 (diff | hist) Publications by date (top)
- 20:37, 30 January 2012 (diff | hist) N Concept:Publications 2012 (Created page with "{{#concept: Category:Publication last update::+ [[date::>Jan 1 2012]] [[date::<Dec 31 2012]]| Publications in 2012 authored by Markus Krötzsch}}") (top)
- 11:10, 20 January 2012 (diff | hist) A Description Logic Primer (top)
- 08:17, 20 January 2012 (diff | hist) N A Description Logic Primer (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...")
- 12:46, 12 January 2012 (diff | hist) N Pubs (shorter link ...) (top)
- 09:14, 12 December 2011 (diff | hist) N Practical Reasoning with Nominals in the EL Family of Description Logics (new technical report) (top)
- 15:04, 8 December 2011 (diff | hist) m ShareAlike Your Data (top)
- 15:04, 8 December 2011 (diff | hist) m Concurrent Classification of EL Ontologies (top)
- 14:43, 7 December 2011 (diff | hist) m Unchain My EL Reasoner (top)
- 14:42, 7 December 2011 (diff | hist) m Unchain My EL Reasoner
- 17:49, 6 December 2011 (diff | hist) m Description Logic Rules (monograph) (top)
- 16:41, 1 December 2011 (diff | hist) Markus Krötzsch (→Grants and awards: + KIT doctoral award) (top)
- 16:40, 1 December 2011 (diff | hist) m Description Logic Rules (monograph) (→Remarks)
- 16:13, 1 December 2011 (diff | hist) m Second-Order Queries for Rule-Based Data Access (top)
- 09:06, 1 December 2011 (diff | hist) N Second-Order Queries for Rule-Based Data Access (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 <!...")
- 21:47, 3 November 2011 (diff | hist) m ShareAlike Your Data (typo)
- 21:46, 3 November 2011 (diff | hist) m Concurrent Classification of EL Ontologies (typo)
- 13:21, 25 October 2011 (diff | hist) m ShareAlike Your Data
- 13:21, 25 October 2011 (diff | hist) ShareAlike Your Data (updated citation)
- 13:14, 25 October 2011 (diff | hist) Concurrent Classification of EL Ontologies (+updated citation)
- 15:40, 14 October 2011 (diff | hist) Activities (→Organised events and tutorials: updated organisation acitvities) (top)
- 15:38, 14 October 2011 (diff | hist) m The Two Cultures (JWS2008) (top)
- 15:14, 14 October 2011 (diff | hist) m Semantic Wikipedia (JWS2007) (top)
- 15:13, 14 October 2011 (diff | hist) m Shortipedia: Aggregating and Curating Semantic Web Data (top)
- 15:12, 14 October 2011 (diff | hist) Shortipedia: Aggregating and Curating Semantic Web Data (now published in JWS :-))
- 13:29, 28 September 2011 (diff | hist) m Note:PODS'12 Going (Semantic) Web (→Organization) (top)
- 16:06, 1 September 2011 (diff | hist) m Complexity Boundaries for Horn Description Logics
- 16:06, 1 September 2011 (diff | hist) m Terminological Reasoning in SHIQ with OBDDs (top)
- 10:13, 28 August 2011 (diff | hist) Concurrent Classification of EL Ontologies (camera ready)
- 15:06, 26 August 2011 (diff | hist) ShareAlike Your Data (camera ready)
- 14:51, 15 August 2011 (diff | hist) m On the Semantic Relationship between Datalog and Description Logics (top)
- 14:50, 15 August 2011 (diff | hist) On the Semantic Relationship between Datalog and Description Logics (+LNCS number)
- 14:41, 15 August 2011 (diff | hist) Extending Decidable Existential Rules by Joining Acyclicity and Guardedness (+editor) (top)
- 14:41, 15 August 2011 (diff | hist) Efficient Rule-Based Inferencing for OWL EL (+page numbers) (top)
- 14:39, 15 August 2011 (diff | hist) Extending Decidable Existential Rules by Joining Acyclicity and Guardedness (final page numbers)
- 08:21, 11 August 2011 (diff | hist) m ELK Reasoner (top)
- 08:13, 11 August 2011 (diff | hist) N ShareAlike Your Data (+ISWC paper)
- 08:05, 11 August 2011 (diff | hist) m Unchain My EL Reasoner
- 08:04, 11 August 2011 (diff | hist) m Orel: Database-Driven Reasoning for OWL 2 Profiles (top)
- 08:04, 11 August 2011 (diff | hist) m Orel: Database-Driven Reasoning for OWL 2 Profiles
- 08:03, 11 August 2011 (diff | hist) N ELK Reasoner (Created page with "'''ELK''' is a free and open source reasoner for the lightweight ontology language OWL 2 EL. It is based on Java and can be controlled using the [http://owlapi.sourceforge.net/ O...")
- 08:03, 11 August 2011 (diff | hist) m Concurrent Classification of EL Ontologies
- 07:58, 11 August 2011 (diff | hist) N ELK (Redirected page to ELK Reasoner) (top)
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
