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 Closer Look at the Semantic Relationship between Datalog and Description Logics | A Closer Look at the Semantic Relationship between Datalog and Description Logics | N/A | Semantic Web Journal, volume 6:1 | N/A | IOS Press | 2015 | Journal paper |
A Description Logic Primer | A Description Logic Primer | N/A | CoRR abs/1201.4089 | N/A | Arxiv.org | 2012 | Technical report |
A Description Logic Primer (IOS Press) | A Description Logic Primer | N/A | Perspectives on Ontology Learning | N/A | IOS Press | 2014 | Book chapter |
A rule-based ontological framework for the classification of molecules | A rule-based ontological framework for the classification of molecules | N/A | Journal of Biomedical Semantics, volume 5:17 | N/A | Springer | 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 | N/A | Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) | N/A | AAAI Press | 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 | N/A | Journal of Artificial Intelligence Research, volume 47 | N/A | AI Access Foundation | 2013 | Journal 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 for Nominal Schemas | Complexities for Nominal Schemas: Extended Abstract | N/A | Proceedings of the 27th International Workshop on Description Logics (DL-14) | N/A | CEUR Workshop Proceedings | 2014 | Workshop paper |
Complexities of Horn Description Logics | Complexities of Horn Description Logics | N/A | ACM Transactions on Computational Logic 14 (1) | N/A | ACM | 2013 | 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 |
Computing Stable Models for Nonmonotonic Existential Rules | Computing Stable Models for Nonmonotonic Existential Rules | N/A | Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI-13) | N/A | IJCAI | 2013 | Conference paper |
Concrete Results on Abstract Rules | Concrete Results on Abstract Rules | N/A | Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning | N/A | Springer | 2013 | 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 |
Description Logics (IEEE IS article) | Description Logics | N/A | IEEE Intelligent Systems, volume 29:1 | N/A | IEEE | 2014 | Journal paper |
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 Reasoner: Architecture and Evaluation | ELK Reasoner: Architecture and Evaluation | N/A | Proceedings of the OWL Reasoner Evaluation Workshop 2012 | N/A | CEUR Workshop Proceedings | 2012 | Workshop paper |
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 |
Flag & Check: Data Access with Monadically Defined Queries | Flag & Check: Data Access with Monadically Defined Queries | N/A | Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2013) | N/A | ACM | 2013 | Conference 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 Best Nest Regular Path Queries | How to Best Nest Regular Path Queries | N/A | Proceedings of the 27th International Workshop on Description Logics (DL-14) | N/A | CEUR Workshop Proceedings | 2014 | Workshop paper |
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 |
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 | N/A | Keynote at the 10th Wikimania Conference | N/A | N/A | 2014 | Talk |
Introducing Wikidata to the Linked Data Web | Introducing Wikidata to the Linked Data Web | N/A | Proceedings of the 13th International Semantic Web Conference | N/A | Springer | 2014 | 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 |
Nominal Schemas in Description Logics: Complexities Clarified | Nominal Schemas in Description Logics: Complexities Clarified | N/A | Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) | N/A | AAAI Press | 2014 | Conference paper |
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling | Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling | N/A | Proceedings of the 26th International Workshop on Description Logics (DL-13) | N/A | CEUR Workshop Proceedings | 2013 | Workshop paper |
OWL 2 Profiles | OWL 2 Profiles: An Introduction to Lightweight Ontology Languages | N/A | Reasoning Web Summer School 2012 | 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 |
OWL: Yet to arrive on the Web of Data? | OWL: Yet to arrive on the Web of Data? | N/A | Proceedings of the WWW2012 Workshop on Linked Data on the Web (LDOW-12) | N/A | CEUR Workshop Proceedings | 2012 | Workshop paper |
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 |
Order matters! | Order matters! Harnessing a world of orderings for reasoning over massive data | N/A | Semantic Web Journal 4(2) | N/A | IOS Press | 2013 | 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 |
P ≠ P | P ≠ P: Why Some Reasoning Problems are More Tractable Than Others | N/A | Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR-14) | N/A | Springer | 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 | N/A | Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) | N/A | AAAI Press | 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 |
Schema-Agnostic Query Rewriting in SPARQL 1.1 | Schema-Agnostic Query Rewriting in SPARQL 1.1 | N/A | Proceedings of the 13th International Semantic Web Conference | N/A | Springer | 2014 | 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 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 | N/A | Journal of Artificial Intelligence Research, volume 51 | N/A | AI Access Foundation | 2014 | Journal 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 Incredible ELK | The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies | N/A | Journal of Automated Reasoning 53:1 | N/A | Springer | 2013 | Journal paper |
The Largest DLP Possible | The Largest DLP Possible | N/A | N/A | N/A | Universität Karlsruhe (TH) | 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 | N/A | Proceedings of the 11th International Semantic Web Conference | N/A | Springer | 2012 | Conference paper |
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 |
Type-elimination-based Reasoning for SHIQbs | Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog | N/A | Logical Methods in Computer Science 8 (1) | N/A | N/A | 2012 | Journal 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 |
Wikidata (lecture at WISS 2014) | Wikidata | N/A | Keynote and tutorial at Web Intelligence Summer School 2014, St. Etienne, France | N/A | N/A | 2014 | Talk |
Wikidata and what it means for SMW | Wikidata and what it means for SMW | N/A | Keynote at 9th International Semantic MediaWiki Conference, Montreal, Canada | N/A | N/A | 2014 | Talk |
Wikidata: A Free Collaborative Knowledgebase | Wikidata: A Free Collaborative Knowledgebase | N/A | Communications of the ACM 57:10 | N/A | ACM | 2014 | Journal paper |
Wikidata: The Next Big Thing for Wikipedia | Wikidata: The Next Big Thing for Wikipedia | N/A | Keynote at 3rd Russian Conference on Knowledge Engineering and Semantic Web | N/A | N/A | 2012 | 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 |
语义Web技术基础 | 语义Web技术基础 | N/A | N/A | N/A | Tsinghua University Press | 2012 | Book |