User:Markus Krötzsch
From korrekt.org
For information about myself, see Markus Krötzsch.
Exhibit test
| Name | Title | Author | In | Editor | Publisher | Year | Kind |
|---|---|---|---|---|---|---|---|
| 3D Baukasten | 3D Baukasten – Signsoft Visit 3: Objektorientiert mit OpenGL | N/A | Der Entwickler 01.2002 | N/A | Software & Support Verlag | 2002 | Journal paper |
| A Better Uncle For OWL | A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies | N/A | Proceedings of the 20th International Conference on the World Wide Web (WWW-11) | N/A | ACM | 2011 | Conference paper |
| A Brief Introduction to FCA | A Brief Introduction to Formal Concept Analysis | N/A | Conceptual Structures in Practice | N/A | Chapman & Hall | 2009 | Book chapter |
| A Categorical View on Algebraic Lattices in Formal Concept Analysis | A Categorical View on Algebraic Lattices in Formal Concept Analysis | N/A | Fundamenta Informaticae 74 (2–3) | N/A | IOS Press | 2006 | Journal paper |
| A Description Logic Primer | A Description Logic Primer | N/A | CoRR abs/1201.4089 | N/A | Arxiv.org | 2012 | Technical report |
| Acyclicity Conditions and their Application to Query Answering in Description Logics | Acyclicity Conditions and their Application to Query Answering in Description Logics | N/A | Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) | N/A | N/A | 2012 | Conference paper |
| Adventures of Two Little OWLs in Rule Land | Adventures of Two Little OWLs in Rule Land | N/A | N/A | N/A | N/A | 2010 | Talk |
| All Elephants are Bigger than All Mice | All Elephants are Bigger than All Mice | N/A | Proceedings of the 21st International Workshop on Description Logics (DL-08) | N/A | CEUR Workshop Proceedings | 2008 | Workshop paper |
| Approximate OWL-Reasoning with Screech | Approximate OWL-Reasoning with Screech | N/A | Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR-08) | N/A | Springer | 2008 | Conference paper |
| Complexities of Horn Description Logics | Complexities of Horn Description Logics | N/A | ACM Transactions on Computational Logic (to appear) | N/A | ACM | 2012 | Journal paper |
| Complexity Boundaries for Horn Description Logics | Complexity Boundaries for Horn Description Logics | N/A | Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07) | N/A | AAAI Press | 2007 | Conference paper |
| Concurrent Classification of EL Ontologies | Concurrent Classification of EL Ontologies | N/A | Proceedings of the 10th International Semantic Web Conference | N/A | Springer | 2011 | Conference paper |
| Conjunctive Queries for EL with Role Composition | Conjunctive Queries for EL with Role Composition | N/A | Proceedings of the 20th International Workshop on Description Logics (DL-07) | N/A | CEUR Workshop Proceedings | 2007 | Workshop paper |
| Conjunctive Queries for a Tractable Fragment of OWL1.1 | Conjunctive Queries for a Tractable Fragment of OWL1.1 | N/A | Proceedings of the 6th International Semantic Web Conference (ISWC-07) | N/A | Springer | 2007 | Conference paper |
| DL Role Constructors | Cheap Boolean Role Constructors for Description Logics | N/A | Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-08) | N/A | Springer | 2008 | Conference paper |
| DLP isn't so bad after all | DLP isn't so bad after all | N/A | Proceedings of the 1st Workshop on OWL: Experiences and Directions (OWLED-05) | N/A | CEUR Workshop Proceedings | 2005 | Workshop paper |
| Description Logic Reasoning with Decision Diagrams | Description Logic Reasoning with Decision Diagrams – Compiling SHIQ to Disjunctive Datalog | N/A | Proceedings of the 7th International Semantic Web Conference (ISWC-08) | N/A | Springer | 2008 | Conference paper |
| Description Logic Rules | Description Logic Rules | N/A | Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08) | N/A | IOS Press | 2008 | Conference paper |
| Description Logic Rules (monograph) | Description Logic Rules | N/A | N/A | N/A | Studies on the Semantic Web, Vol. 008, IOS Press (ISBN 978-1-60750-654-6) | 2010 | Book |
| Die Zukunft der Wikis: Semantic Web | Die Zukunft der Wikis: Semantic Web | N/A | Wikis und Blogs: Planen, Einrichten, Verwalten | N/A | C&L Computer und Literaturverlag | 2007 | Book chapter |
| ELK: A Reasoner for OWL EL Ontologies | ELK: A Reasoner for OWL EL Ontologies | N/A | Technical Report | N/A | N/A | 2012 | Technical report |
| ELP: Tractable Rules for OWL 2 | ELP: Tractable Rules for OWL 2 | N/A | Proceedings of the 7th International Semantic Web Conference (ISWC-08) | N/A | Springer | 2008 | Conference paper |
| Efficient Inferencing for OWL EL | Efficient Inferencing for OWL EL | N/A | Proceedings of the 12th European Conference on Logics in Artificial Intelligence | N/A | Springer | 2010 | Conference paper |
| Efficient Inferencing for the Description Logic Underlying OWL EL | Efficient Inferencing for the Description Logic Underlying OWL EL | N/A | N/A | N/A | Technical Report 3005, Institute AIFB, Karlsruhe Instistute of Technology (KIT) | 2010 | Technical report |
| Efficient OWL Reasoning with Logic Programs | Efficient OWL Reasoning with Logic Programs – Evaluations | N/A | Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR-07) | N/A | Springer | 2007 | Conference paper |
| Efficient Rule-Based Inferencing for OWL EL | Efficient Rule-Based Inferencing for OWL EL | N/A | Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11) | N/A | IJCAI | 2011 | Conference paper |
| Extending Decidable Existential Rules by Joining Acyclicity and Guardedness | Extending Decidable Existential Rules by Joining Acyclicity and Guardedness | N/A | Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11) | N/A | IJCAI | 2011 | Conference paper |
| Five years of structured wiki data with SMW: experiences and directions | Five years of structured wiki data with SMW: experiences and directions | N/A | N/A | N/A | N/A | 2010 | Talk |
| Fixed Parameter Tractable Reasoning in DLs via Decomposition | Fixed Parameter Tractable Reasoning in DLs via Decomposition | N/A | Proceedings of the 24th International Workshop on Description Logics (DL-11) | N/A | CEUR Workshop Proceedings | 2011 | Workshop paper |
| Formalizing Ontology Alignment and its Operations with Category Theory | Formalizing Ontology Alignment and its Operations with Category Theory | N/A | Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS-06) | N/A | IOS Press | 2006 | Conference paper |
| Foundations of Semantic Web Technologies | Foundations of Semantic Web Technologies | N/A | N/A | N/A | CRC Press | 2009 | Book |
| Generalized Ultrametric Spaces in Quantitative Domain Theory | Generalized Ultrametric Spaces in Quantitative Domain Theory | N/A | Theoretical Computer Science 368 (1–2) | N/A | Elsevier | 2006 | Journal paper |
| Growing Open Source Communities Around Academic Projects | Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects | N/A | Open Advice | N/A | Open-advice.org | 2012 | Book chapter |
| How to reason with OWL in a logic programming system | How to reason with OWL in a logic programming system | N/A | Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-06) | N/A | IEEE Computer Society | 2006 | Conference paper |
| Knowledge, Structure, and Other Stuff | Knowledge, Structure, and Other Stuff – The State of Semantic MediaWiki | N/A | N/A | N/A | N/A | 2008 | Talk |
| Leveraging Non-Lexical Knowledge for the Linked Open Data Web | Leveraging Non-Lexical Knowledge for the Linked Open Data Web | N/A | Review of AF Transactions 1/2010 | N/A | Antoine Zimmermann | 2010 | Journal paper |
| Logik und Logikprogrammierung: Aufgaben und Lösungen | Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen | N/A | N/A | N/A | Synchron Publishers Heidelberg | 2011 | Book |
| Morphisms in Context | Morphisms in Context | N/A | Proceedings of the 13th International Conference on Conceptual Structures (ICCS-05) | N/A | Springer | 2005 | Conference paper |
| Morphisms in Logic, Topology, and Formal Concept Analysis | Morphisms in Logic, Topology, and Formal Concept Analysis | N/A | N/A | N/A | TU Dresden | 2005 | Master's thesis |
| Nominal Schemas for Integrating Rules and Description Logics | Nominal Schemas for Integrating Rules and Ontologies | N/A | Proceedings of the 24th International Workshop on Description Logics (DL-11) | N/A | CEUR Workshop Proceedings | 2011 | Workshop paper |
| OWL 2 Profiles | OWL 2 Profiles: An Introduction to Lightweight Ontology Languages | N/A | Reasoning Web Summer School 2012 (to appear) | N/A | Springer | 2012 | Book chapter |
| OWL 2 Web Ontology Language Conformance | OWL 2 Web Ontology Language Conformance | N/A | N/A | N/A | W3C Recommendation | 27 October 2009 | Standardization document |
| OWL 2 Web Ontology Language Primer | OWL 2 Web Ontology Language Primer | N/A | N/A | N/A | W3C Recommendation | 27 October 2009 | Standardization document |
| On the Complexity of Horn Description Logics | On the Complexity of Horn Description Logics | N/A | Proceedings of the 2nd Workshop on OWL: Experiences and Directions (OWLED-06) | N/A | CEUR Workshop Proceedings | 2006 | Workshop paper |
| On the Semantic Relationship between Datalog and Description Logics | On the Semantic Relationship between Datalog and Description Logics | N/A | Proceedings of the 4th International Conference on Web Reasoning and Rule Systems | N/A | Springer | 2010 | Conference paper |
| OpenGL im Handumdrehen | OpenGL im Handumdrehen | N/A | Der Entwickler 03.2001 | N/A | Software & Support Verlag | 2001 | Journal paper |
| Orel: Database-Driven Reasoning for OWL 2 Profiles | Orel: Database-Driven Reasoning for OWL 2 Profiles | N/A | Proceedings of the 23rd International Workshop on Description Logics (DL2010) | N/A | CEUR Workshop Proceedings | 2010 | Workshop paper |
| Practical Reasoning with Nominals in the EL Family of Description Logics | Practical Reasoning with Nominals in the EL Family of Description Logics | N/A | Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) | N/A | N/A | 2012 | Conference paper |
| Practical Reasoning with OWL and DL-Safe Rules | Practical Reasoning with OWL and DL-Safe Rules | N/A | N/A | N/A | N/A | 2006 | Talk |
| Practical Reasoning with OWL and Rules | Practical Reasoning with OWL and Rules | N/A | N/A | N/A | N/A | 2007 | Talk |
| Querying Formal Contexts with Answer Set Programs | Querying Formal Contexts with Answer Set Programs | N/A | Proceedings of the 14th International Conference on Conceptual Structures (ICCS-06) | N/A | Springer | 2006 | Conference paper |
| Quo vadis, CS? | Quo Vadis, CS? – On the (non)-impact of Conceptual Structures on the Semantic Web | N/A | Proceedings of the 15th International Conference on Conceptual Structures (ICCS-07) | N/A | Springer | 2007 | Conference paper |
| Reasoning in Semantic Wikis | Reasoning in Semantic Wikis | N/A | Proceedings of the 3rd Reasoning Web Summer School | N/A | Springer | 2007 | Workshop paper |
| Reusing Ontological Background Knowledge in Semantic Wikis | Reusing Ontological Background Knowledge in Semantic Wikis | N/A | Proceedings of the First Workshop on Semantic Wikis – From Wikis to Semantics | N/A | N/A | 2006 | Workshop paper |
| Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules | Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules | N/A | Institute AIFB Technical Report 3011 | N/A | Karlsruhe Institute of Technology | 2011 | Technical report |
| SPARQL Beyond Subgraph Matching | SPARQL Beyond Subgraph Matching | N/A | Proceedings of the 9th International Semantic Web Conference | N/A | Springer | 2010 | Conference paper |
| Second-Order Queries for Rule-Based Data Access | Second-Order Queries for Rule-Based Data Access | N/A | Institute AIFB Technical Report 3019 | N/A | Karlsruhe Institute of Technology | 2011 | Technical report |
| Semantic MediaWiki (Foundations for the Web of Information and Services) | Semantic MediaWiki | N/A | Foundations for the Web of Information and Services | N/A | Springer | 2011 | Book chapter |
| Semantic MediaWiki (ISWC2006) | Semantic MediaWiki | N/A | Proceedings of the 5th International Semantic Web Conference (ISWC-06) | N/A | Springer | 2006 | Conference paper |
| Semantic MediaWiki (Semantic Knowledge Management) | Semantic MediaWiki | N/A | Semantic Knowledge Management | N/A | Springer | 2009 | Book chapter |
| Semantic MediaWiki in 15 minutes | Semantic MediaWiki in 15 minutes | N/A | N/A | N/A | N/A | 2008 | Talk |
| Semantic MediaWiki: Past, Present, Future | Semantic MediaWiki: Past, Present, Future | N/A | N/A | N/A | N/A | 2010 | Talk |
| Semantic Web – Grundlagen | Semantic Web – Grundlagen | N/A | N/A | N/A | Springer | 2008 | Book |
| Semantic Wikipedia (JWS2007) | Semantic Wikipedia | N/A | Journal of Web Semantics 5 (4) | N/A | Elsevier | 2007 | Journal paper |
| Semantic Wikipedia (WWW2006) | Semantic Wikipedia | N/A | Proceedings of the 15th international conference on World Wide Web (WWW-06) | N/A | ACM | 2006 | Conference paper |
| ShareAlike Your Data | ShareAlike Your Data: Self-Referential Usage Policies for the Semantic Web | N/A | Proceedings of the 10th International Semantic Web Conference | N/A | Springer | 2011 | Conference paper |
| Shortipedia: Aggregating and Curating Semantic Web Data | Shortipedia: Aggregating and Curating Semantic Web Data | N/A | Journal of Web Semantics 9 (3) | N/A | Elsevier | 2011 | Journal paper |
| Terminological Reasoning in SHIQ with OBDDs | Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams | N/A | Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08) | N/A | AAAI Press | 2008 | Conference paper |
| The Fast and the Numerous | The Fast and the Numerous – Combining Machine and Community Intelligence for Semantic Annotation | N/A | Proceedings of the AAAI 2008 Workshop on Wikipedia and Artificial Intelligence: An Evolving Synergy (WIKIAI-08) | N/A | N/A | 2008 | Workshop paper |
| The Largest DLP Possible | The Largest DLP Possible | N/A | N/A | N/A | Universität Karlsruhe (TH) | 2009 | Technical report |
| The Tensor Product as a Lattice of Regular Galois Connections | The Tensor Product as a Lattice of Regular Galois Connections | N/A | Proceedings of the 4th International Conference on Formal Concept Analysis (ICFCA-06) | N/A | Springer | 2006 | Conference paper |
| The Two Cultures (JWS2008) | The Two Cultures: Mashing up Web 2.0 and the Semantic Web | N/A | Journal of Web Semantics 6 (1) | N/A | Elsevier | 2008 | Journal paper |
| The Two Cultures: Mashing up Web 2.0 and the Semantic Web | The Two Cultures: Mashing up Web 2.0 and the Semantic Web | N/A | Proceedings of the 16th International Conference on the World Wide Web (WWW-07) | N/A | ACM | 2007 | Conference paper |
| Towards The Largest DLP Possible | A Matter of Principles: Towards the Largest DLP Possible | N/A | Proceedings of the 22nd International Workshop on Description Logics (DL2009) | N/A | CEUR Workshop Proceedings | 2009 | Workshop paper |
| Unchain My EL Reasoner | Unchain My EL Reasoner | N/A | Proceedings of the 24th International Workshop on Description Logics (DL-11) | N/A | CEUR Workshop Proceedings | 2011 | Workshop paper |
| What Is Ontology Merging? | What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts | N/A | Proceedings of the First International Workshop on Contexts and Ontologies (C&O-05) | N/A | AAAI Press | 2005 | Workshop paper |
| Where is your knowledge | Where is Your Knowledge? – Semantic Wikis and Beyond | N/A | N/A | N/A | N/A | 2008 | Talk |
| Wikipedia and the Semantic Web | Wikipedia and the Semantic Web – The Missing Links | N/A | Proceedings of the First International Wikimedia Conference (Wikimania-05) | N/A | Wikimedia Foundation | 2005 | Conference paper |
