User:Markus Krötzsch
From korrekt.org
For information about myself, see Markus Krötzsch.
Exhibit test
| Name | Title | AuthorThis property is a special property in this wiki. | In | Editor | PublisherThis property is a special property in this wiki. | Year"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values. | Kind |
|---|---|---|---|---|---|---|---|
| 3D Baukasten | 3D Baukasten – Signsoft Visit 3: Objektorientiert mit OpenGL | Der Entwickler 01.2002 | 2002 | Journal paper | |||
| A Better Uncle For OWL | A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies | Proceedings of the 20th International Conference on the World Wide Web (WWW-11) | 2011 | Conference paper | |||
| A Brief Introduction to FCA | A Brief Introduction to Formal Concept Analysis | Conceptual Structures in Practice | 2009 | Book chapter | |||
| A Categorical View on Algebraic Lattices in Formal Concept Analysis | A Categorical View on Algebraic Lattices in Formal Concept Analysis | Fundamenta Informaticae 74 (2–3) | 2006 | Journal paper | |||
| A Closer Look at the Semantic Relationship between Datalog and Description Logics | A Closer Look at the Semantic Relationship between Datalog and Description Logics | Semantic Web Journal, volume 6:1 | 2015 | Journal paper | |||
| A Description Logic Primer | A Description Logic Primer | CoRR abs/1201.4089 | 2012 | Technical report | |||
| A Description Logic Primer (IOS Press) | A Description Logic Primer | Perspectives on Ontology Learning | 2014 | Book chapter | |||
| A rule-based ontological framework for the classification of molecules | A rule-based ontological framework for the classification of molecules | Journal of Biomedical Semantics, volume 5:17 | 2014 | Journal paper | |||
| Acyclicity Conditions and their Application to Query Answering in Description Logics | Acyclicity Conditions and their Application to Query Answering in Description Logics | Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) | 2012 | Conference paper | |||
| Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies | Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies | Journal of Artificial Intelligence Research, volume 47 | 2013 | Journal paper | |||
| Adventures of Two Little OWLs in Rule Land | Adventures of Two Little OWLs in Rule Land | 2010 | Talk | ||||
| All Elephants are Bigger than All Mice | All Elephants are Bigger than All Mice | Proceedings of the 21st International Workshop on Description Logics (DL-08) | 2008 | Workshop paper | |||
| Approximate OWL-Reasoning with Screech | Approximate OWL-Reasoning with Screech | Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR-08) | 2008 | Conference paper | |||
| Column-Oriented Datalog Materialization for Large Knowledge Graphs | Column-Oriented Datalog Materialization for Large Knowledge Graphs | Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16) | 2016 | Conference paper | |||
| Complexities for Nominal Schemas | Complexities for Nominal Schemas: Extended Abstract | Proceedings of the 27th International Workshop on Description Logics (DL-14) | 2014 | Workshop paper | |||
| Complexities of Horn Description Logics | Complexities of Horn Description Logics | ACM Transactions on Computational Logic 14 (1) | 2013 | Journal paper | |||
| Complexity Boundaries for Horn Description Logics | Complexity Boundaries for Horn Description Logics | Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07) | 2007 | Conference paper | |||
| Computing Stable Models for Nonmonotonic Existential Rules | Computing Stable Models for Nonmonotonic Existential Rules | Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI-13) | 2013 | Conference paper | |||
| Concrete Results on Abstract Rules | Concrete Results on Abstract Rules | Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning | 2013 | Conference paper | |||
| Concurrent Classification of EL Ontologies | Concurrent Classification of EL Ontologies | Proceedings of the 10th International Semantic Web Conference | 2011 | Conference paper | |||
| Conjunctive Queries for EL with Role Composition | Conjunctive Queries for EL with Role Composition | Proceedings of the 20th International Workshop on Description Logics (DL-07) | 2007 | Workshop paper | |||
| Conjunctive Queries for a Tractable Fragment of OWL1.1 | Conjunctive Queries for a Tractable Fragment of OWL1.1 | Proceedings of the 6th International Semantic Web Conference (ISWC-07) | 2007 | Conference paper | |||
| DL Role Constructors | Cheap Boolean Role Constructors for Description Logics | Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-08) | 2008 | Conference paper | |||
| DLP isn't so bad after all | DLP isn't so bad after all | Proceedings of the 1st Workshop on OWL: Experiences and Directions (OWLED-05) | 2005 | Workshop paper | |||
| Description Logic Reasoning with Decision Diagrams | Description Logic Reasoning with Decision Diagrams – Compiling SHIQ to Disjunctive Datalog | Proceedings of the 7th International Semantic Web Conference (ISWC-08) | 2008 | Conference paper | |||
| Description Logic Rules | Description Logic Rules | Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08) | 2008 | Conference paper | |||
| Description Logic Rules (monograph) | Description Logic Rules | 2010 | Book | ||||
| Description Logics (IEEE IS article) | Description Logics | IEEE Intelligent Systems, volume 29:1 | 2014 | Journal paper | |||
| Die Zukunft der Wikis: Semantic Web | Die Zukunft der Wikis: Semantic Web | Wikis und Blogs: Planen, Einrichten, Verwalten | 2007 | Book chapter | |||
| ELK Reasoner: Architecture and Evaluation | ELK Reasoner: Architecture and Evaluation | Proceedings of the OWL Reasoner Evaluation Workshop 2012 | 2012 | Workshop paper | |||
| ELK: A Reasoner for OWL EL Ontologies | ELK: A Reasoner for OWL EL Ontologies | Technical Report | 2012 | Technical report | |||
| ELP: Tractable Rules for OWL 2 | ELP: Tractable Rules for OWL 2 | Proceedings of the 7th International Semantic Web Conference (ISWC-08) | 2008 | Conference paper | |||
| Efficient Inferencing for OWL EL | Efficient Inferencing for OWL EL | Proceedings of the 12th European Conference on Logics in Artificial Intelligence | 2010 | Conference paper | |||
| Efficient Inferencing for the Description Logic Underlying OWL EL | Efficient Inferencing for the Description Logic Underlying OWL EL | 2010 | Technical report | ||||
| Efficient OWL Reasoning with Logic Programs | Efficient OWL Reasoning with Logic Programs – Evaluations | Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR-07) | 2007 | Conference paper | |||
| Efficient Rule-Based Inferencing for OWL EL | Efficient Rule-Based Inferencing for OWL EL | Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11) | 2011 | Conference paper | |||
| Extending Decidable Existential Rules by Joining Acyclicity and Guardedness | Extending Decidable Existential Rules by Joining Acyclicity and Guardedness | Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11) | 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 | 2010 | Talk | ||||
| Fixed Parameter Tractable Reasoning in DLs via Decomposition | Fixed Parameter Tractable Reasoning in DLs via Decomposition | Proceedings of the 24th International Workshop on Description Logics (DL-11) | 2011 | Workshop paper | |||
| Flag & Check: Data Access with Monadically Defined Queries | Flag & Check: Data Access with Monadically Defined Queries | Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2013) | 2013 | Conference paper | |||
| Formalizing Ontology Alignment and its Operations with Category Theory | Formalizing Ontology Alignment and its Operations with Category Theory | Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS-06) | 2006 | Conference paper | |||
| Foundations of Semantic Web Technologies | Foundations of Semantic Web Technologies | 2009 | Book | ||||
| Generalized Ultrametric Spaces in Quantitative Domain Theory | Generalized Ultrametric Spaces in Quantitative Domain Theory | Theoretical Computer Science 368 (1–2) | 2006 | Journal paper | |||
| Growing Open Source Communities Around Academic Projects | Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects | Open Advice | 2012 | Book chapter | |||
| How to Best Nest Regular Path Queries | How to Best Nest Regular Path Queries | Proceedings of the 27th International Workshop on Description Logics (DL-14) | 2014 | Workshop paper | |||
| How to reason with OWL in a logic programming system | How to reason with OWL in a logic programming system | Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-06) | 2006 | Conference paper | |||
| How to use Wikidata: Things to make and do with 40 million statements | How to use Wikidata: Things to make and do with 40 million statements | Keynote at the 10th Wikimania Conference | 2014 | Talk | |||
| Introducing Wikidata to the Linked Data Web | Introducing Wikidata to the Linked Data Web | Proceedings of the 13th International Semantic Web Conference | 2014 | Conference paper | |||
| Is Your Database System a Semantic Web Reasoner | Is Your Database System a Semantic Web Reasoner? | Künstliche Intelligenz 30(2) | 2016 | Journal paper | |||
| Knowledge, Structure, and Other Stuff | Knowledge, Structure, and Other Stuff – The State of Semantic MediaWiki | 2008 | Talk | ||||
| Leveraging Non-Lexical Knowledge for the Linked Open Data Web | Leveraging Non-Lexical Knowledge for the Linked Open Data Web | Review of AF Transactions 1/2010 | 2010 | Journal paper | |||
| Logik und Logikprogrammierung: Aufgaben und Lösungen | Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen | 2011 | Book | ||||
| Morphisms in Context | Morphisms in Context | Proceedings of the 13th International Conference on Conceptual Structures (ICCS-05) | 2005 | Conference paper | |||
| Morphisms in Logic, Topology, and Formal Concept Analysis | Morphisms in Logic, Topology, and Formal Concept Analysis | 2005 | Master's thesis | ||||
| Nominal Schemas for Integrating Rules and Description Logics | Nominal Schemas for Integrating Rules and Ontologies | Proceedings of the 24th International Workshop on Description Logics (DL-11) | 2011 | Workshop paper | |||
| Nominal Schemas in Description Logics: Complexities Clarified | Nominal Schemas in Description Logics: Complexities Clarified | Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) | 2014 | Conference paper | |||
| Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling | Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling | Proceedings of the 26th International Workshop on Description Logics (DL-13) | 2013 | Workshop paper | |||
| OWL 2 Profiles | OWL 2 Profiles: An Introduction to Lightweight Ontology Languages | Reasoning Web Summer School 2012 | 2012 | Book chapter | |||
| OWL 2 Web Ontology Language Conformance | OWL 2 Web Ontology Language Conformance | 27 October 2009 | Standardization document | ||||
| OWL 2 Web Ontology Language Primer | OWL 2 Web Ontology Language Primer | 27 October 2009 | Standardization document | ||||
| OWL: Yet to arrive on the Web of Data? | OWL: Yet to arrive on the Web of Data? | Proceedings of the WWW2012 Workshop on Linked Data on the Web (LDOW-12) | 2012 | Workshop paper | |||
| On the Complexity of Horn Description Logics | On the Complexity of Horn Description Logics | Proceedings of the 2nd Workshop on OWL: Experiences and Directions (OWLED-06) | 2006 | Workshop paper | |||
| On the Complexity of Universality for Partially Ordered NFAs | On the Complexity of Universality for Partially Ordered NFAs | Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) | 2016 | Conference paper | |||
| On the Semantic Relationship between Datalog and Description Logics | On the Semantic Relationship between Datalog and Description Logics | Proceedings of the 4th International Conference on Web Reasoning and Rule Systems | 2010 | Conference paper | |||
| Ontologies for Knowledge Graphs: Breaking the Rules | Ontologies for Knowledge Graphs: Breaking the Rules | Proceedings of the 15th International Semantic Web Conference (ISWC 2016) | 2016 | Conference paper | |||
| OpenGL im Handumdrehen | OpenGL im Handumdrehen | Der Entwickler 03.2001 | 2001 | Journal paper | |||
| Order matters! | Order matters! Harnessing a world of orderings for reasoning over massive data | Semantic Web Journal 4(2) | 2013 | Journal paper | |||
| Orel: Database-Driven Reasoning for OWL 2 Profiles | Orel: Database-Driven Reasoning for OWL 2 Profiles | Proceedings of the 23rd International Workshop on Description Logics (DL2010) | 2010 | Workshop paper | |||
| P ≠ P | P ≠ P: Why Some Reasoning Problems are More Tractable Than Others | Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR-14) | 2014 | Conference paper | |||
| Practical Reasoning with Nominals in the EL Family of Description Logics | Practical Reasoning with Nominals in the EL Family of Description Logics | Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) | 2012 | Conference paper | |||
| Practical Reasoning with OWL and DL-Safe Rules | Practical Reasoning with OWL and DL-Safe Rules | 2006 | Talk | ||||
| Practical Reasoning with OWL and Rules | Practical Reasoning with OWL and Rules | 2007 | Talk | ||||
| Querying Formal Contexts with Answer Set Programs | Querying Formal Contexts with Answer Set Programs | Proceedings of the 14th International Conference on Conceptual Structures (ICCS-06) | 2006 | Conference paper | |||
| Quo vadis, CS? | Quo Vadis, CS? – On the (non)-impact of Conceptual Structures on the Semantic Web | Proceedings of the 15th International Conference on Conceptual Structures (ICCS-07) | 2007 | Conference paper | |||
| Reasonable Highly Expressive Query Languages | Reasonable Highly Expressive Query Languages | Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15) | 2015 | Conference paper | |||
| Reasoning in Semantic Wikis | Reasoning in Semantic Wikis | Proceedings of the 3rd Reasoning Web Summer School | 2007 | Workshop paper | |||
| Reifying RDF: What Works Well With Wikidata | Reifying RDF: What Works Well With Wikidata? | Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2015) | 2015 | Workshop paper | |||
| Reusing Ontological Background Knowledge in Semantic Wikis | Reusing Ontological Background Knowledge in Semantic Wikis | Proceedings of the First Workshop on Semantic Wikis – From Wikis to Semantics | 2006 | Workshop paper | |||
| Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules | Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules | Institute AIFB Technical Report 3011 | 2011 | Technical report | |||
| SPARQL Beyond Subgraph Matching | SPARQL Beyond Subgraph Matching | Proceedings of the 9th International Semantic Web Conference | 2010 | Conference paper | |||
| Schema-Agnostic Query Rewriting for OWL QL | Schema-Agnostic Query Rewriting for OWL QL | Proceedings of the 28th International Workshop on Description Logics (DL-15) | 2015 | Workshop paper | |||
| Schema-Agnostic Query Rewriting in SPARQL 1.1 | Schema-Agnostic Query Rewriting in SPARQL 1.1 | Proceedings of the 13th International Semantic Web Conference | 2014 | Conference paper | |||
| Second-Order Queries for Rule-Based Data Access | Second-Order Queries for Rule-Based Data Access | Institute AIFB Technical Report 3019 | 2011 | Technical report | |||
| Semantic MediaWiki (Foundations for the Web of Information and Services) | Semantic MediaWiki | Foundations for the Web of Information and Services | 2011 | Book chapter | |||
| Semantic MediaWiki (ISWC2006) | Semantic MediaWiki | Proceedings of the 5th International Semantic Web Conference (ISWC-06) | 2006 | Conference paper | |||
| Semantic MediaWiki (Semantic Knowledge Management) | Semantic MediaWiki | Semantic Knowledge Management | 2009 | Book chapter | |||
| Semantic MediaWiki in 15 minutes | Semantic MediaWiki in 15 minutes | 2008 | Talk | ||||
| Semantic MediaWiki: Past, Present, Future | Semantic MediaWiki: Past, Present, Future | 2010 | Talk | ||||
| Semantic Web – Grundlagen | Semantic Web – Grundlagen | 2008 | Book | ||||
| Semantic Wikipedia (JWS2007) | Semantic Wikipedia | Journal of Web Semantics 5 (4) | 2007 | Journal paper | |||
| Semantic Wikipedia (WWW2006) | Semantic Wikipedia | Proceedings of the 15th international conference on World Wide Web (WWW-06) | 2006 | Conference paper | |||
| ShareAlike Your Data | ShareAlike Your Data: Self-Referential Usage Policies for the Semantic Web | Proceedings of the 10th International Semantic Web Conference | 2011 | Conference paper | |||
| Shortipedia: Aggregating and Curating Semantic Web Data | Shortipedia: Aggregating and Curating Semantic Web Data | Journal of Web Semantics 9 (3) | 2011 | Journal paper | |||
| Terminological Reasoning in SHIQ with OBDDs | Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams | Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08) | 2008 | Conference paper | |||
| The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases | The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases | Journal of Artificial Intelligence Research, volume 51 | 2014 | Journal paper | |||
| The Fast and the Numerous | The Fast and the Numerous – Combining Machine and Community Intelligence for Semantic Annotation | Proceedings of the AAAI 2008 Workshop on Wikipedia and Artificial Intelligence: An Evolving Synergy (WIKIAI-08) | 2008 | Workshop paper | |||
| The Incredible ELK | The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies | Journal of Automated Reasoning 53:1 | 2013 | Journal paper | |||
| The Largest DLP Possible | The Largest DLP Possible | 2009 | Technical report | ||||
| The Not-So-Easy Task of Computing Class Subsumptions in OWL RL | The Not-So-Easy Task of Computing Class Subsumptions in OWL RL | Proceedings of the 11th International Semantic Web Conference | 2012 | Conference paper | |||
| The Tensor Product as a Lattice of Regular Galois Connections | The Tensor Product as a Lattice of Regular Galois Connections | Proceedings of the 4th International Conference on Formal Concept Analysis (ICFCA-06) | 2006 | Conference paper | |||
| The Two Cultures (JWS2008) | The Two Cultures: Mashing up Web 2.0 and the Semantic Web | Journal of Web Semantics 6 (1) | 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 | Proceedings of the 16th International Conference on the World Wide Web (WWW-07) | 2007 | Conference paper | |||
| Towards The Largest DLP Possible | A Matter of Principles: Towards the Largest DLP Possible | Proceedings of the 22nd International Workshop on Description Logics (DL2009) | 2009 | Workshop paper | |||
| Type-elimination-based Reasoning for SHIQbs | Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog | Logical Methods in Computer Science 8 (1) | 2012 | Journal paper | |||
| Unchain My EL Reasoner | Unchain My EL Reasoner | Proceedings of the 24th International Workshop on Description Logics (DL-11) | 2011 | Workshop paper | |||
| VLog: A Column-Oriented Datalog System for Large Knowledge Graphs | VLog: A Column-Oriented Datalog System for Large Knowledge Graphs | Proceedings of the 15th International Semantic Web Conf. (ISWC-16), Posters and Demos | 2016 | Workshop paper | |||
| What Is Ontology Merging? | What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts | Proceedings of the First International Workshop on Contexts and Ontologies (C&O-05) | 2005 | Workshop paper | |||
| Where is your knowledge | Where is Your Knowledge? – Semantic Wikis and Beyond | 2008 | Talk | ||||
| Wikidata (lecture at WISS 2014) | Wikidata | Keynote and tutorial at Web Intelligence Summer School 2014, St. Etienne, France | 2014 | Talk | |||
| Wikidata and what it means for SMW | Wikidata and what it means for SMW | Keynote at 9th International Semantic MediaWiki Conference, Montreal, Canada | 2014 | Talk | |||
| Wikidata as a Cultural Heritage Information Hub | Wikidata as a Cultural Heritage Information Hub | Invited talk at the Europeana Network Association AGM 2016 | 2016 | Talk | |||
| Wikidata, die freie Wissensbasis von Wikipedia | Wikidata, die freie Wissensbasis von Wikipedia | Invited talk at the DINI Jahrestagung 2015 | 2015 | Talk | |||
| Wikidata: A Free Collaborative Knowledgebase | Wikidata: A Free Collaborative Knowledgebase | Communications of the ACM 57:10 | 2014 | Journal paper | |||
| Wikidata: The Next Big Thing for Wikipedia | Wikidata: The Next Big Thing for Wikipedia | Keynote at 3rd Russian Conference on Knowledge Engineering and Semantic Web | 2012 | Talk | |||
| Wikipedia and the Semantic Web | Wikipedia and the Semantic Web – The Missing Links | Proceedings of the First International Wikimedia Conference (Wikimania-05) | 2005 | Conference paper | |||
| 语义Web技术基础 | 语义Web技术基础 | 2012 | Book |
