User:Markus Krötzsch

From korrekt.org

Jump to: navigation, search

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
Personal tools