User:Markus Krötzsch

From korrekt.org

For information about myself, see Markus Krötzsch.

Exhibit test

NameTitleAuthorThis property is a special property in this wiki.InEditorPublisherThis 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 Baukasten3D Baukasten – Signsoft Visit 3: Objektorientiert mit OpenGLDer Entwickler 01.20022002Journal paper
A Better Uncle For OWLA Better Uncle for OWL: Nominal Schemas for Integrating Rules and OntologiesProceedings of the 20th International Conference on the World Wide Web (WWW-11)2011Conference paper
A Brief Introduction to FCAA Brief Introduction to Formal Concept AnalysisConceptual Structures in Practice2009Book chapter
A Categorical View on Algebraic Lattices in Formal Concept AnalysisA Categorical View on Algebraic Lattices in Formal Concept AnalysisFundamenta Informaticae 74 (2–3)2006Journal paper
A Closer Look at the Semantic Relationship between Datalog and Description LogicsA Closer Look at the Semantic Relationship between Datalog and Description LogicsSemantic Web Journal, volume 6:12015Journal paper
A Description Logic PrimerA Description Logic PrimerCoRR abs/1201.40892012Technical report
A Description Logic Primer (IOS Press)A Description Logic PrimerPerspectives on Ontology Learning2014Book chapter
A rule-based ontological framework for the classification of moleculesA rule-based ontological framework for the classification of moleculesJournal of Biomedical Semantics, volume 5:172014Journal paper
Acyclicity Conditions and their Application to Query Answering in Description LogicsAcyclicity Conditions and their Application to Query Answering in Description LogicsProceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)2012Conference paper
Acyclicity Notions for Existential Rules and Their Application to Query Answering in OntologiesAcyclicity Notions for Existential Rules and Their Application to Query Answering in OntologiesJournal of Artificial Intelligence Research, volume 472013Journal paper
Adventures of Two Little OWLs in Rule LandAdventures of Two Little OWLs in Rule Land2010Talk
All Elephants are Bigger than All MiceAll Elephants are Bigger than All MiceProceedings of the 21st International Workshop on Description Logics (DL-08)2008Workshop paper
Approximate OWL-Reasoning with ScreechApproximate OWL-Reasoning with ScreechProceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR-08)2008Conference paper
Column-Oriented Datalog Materialization for Large Knowledge GraphsColumn-Oriented Datalog Materialization for Large Knowledge GraphsProceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16)2016Conference paper
Complexities for Nominal SchemasComplexities for Nominal Schemas: Extended AbstractProceedings of the 27th International Workshop on Description Logics (DL-14)2014Workshop paper
Complexities of Horn Description LogicsComplexities of Horn Description LogicsACM Transactions on Computational Logic 14 (1)2013Journal paper
Complexity Boundaries for Horn Description LogicsComplexity Boundaries for Horn Description LogicsProceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07)2007Conference paper
Computing Stable Models for Nonmonotonic Existential RulesComputing Stable Models for Nonmonotonic Existential RulesProceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI-13)2013Conference paper
Concrete Results on Abstract RulesConcrete Results on Abstract RulesProceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning2013Conference paper
Concurrent Classification of EL OntologiesConcurrent Classification of EL OntologiesProceedings of the 10th International Semantic Web Conference2011Conference paper
Conjunctive Queries for EL with Role CompositionConjunctive Queries for EL with Role CompositionProceedings of the 20th International Workshop on Description Logics (DL-07)2007Workshop paper
Conjunctive Queries for a Tractable Fragment of OWL1.1Conjunctive Queries for a Tractable Fragment of OWL1.1Proceedings of the 6th International Semantic Web Conference (ISWC-07)2007Conference paper
DL Role ConstructorsCheap Boolean Role Constructors for Description LogicsProceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-08)2008Conference paper
DLP isn't so bad after allDLP isn't so bad after allProceedings of the 1st Workshop on OWL: Experiences and Directions (OWLED-05)2005Workshop paper
Description Logic Reasoning with Decision DiagramsDescription Logic Reasoning with Decision Diagrams – Compiling SHIQ to Disjunctive DatalogProceedings of the 7th International Semantic Web Conference (ISWC-08)2008Conference paper
Description Logic RulesDescription Logic RulesProceedings of the 18th European Conference on Artificial Intelligence (ECAI-08)2008Conference paper
Description Logic Rules (monograph)Description Logic Rules2010Book
Description Logics (IEEE IS article)Description LogicsIEEE Intelligent Systems, volume 29:12014Journal paper
Die Zukunft der Wikis: Semantic WebDie Zukunft der Wikis: Semantic WebWikis und Blogs: Planen, Einrichten, Verwalten2007Book chapter
ELK Reasoner: Architecture and EvaluationELK Reasoner: Architecture and EvaluationProceedings of the OWL Reasoner Evaluation Workshop 20122012Workshop paper
ELK: A Reasoner for OWL EL OntologiesELK: A Reasoner for OWL EL OntologiesTechnical Report2012Technical report
ELP: Tractable Rules for OWL 2ELP: Tractable Rules for OWL 2Proceedings of the 7th International Semantic Web Conference (ISWC-08)2008Conference paper
Efficient Inferencing for OWL ELEfficient Inferencing for OWL ELProceedings of the 12th European Conference on Logics in Artificial Intelligence2010Conference paper
Efficient Inferencing for the Description Logic Underlying OWL ELEfficient Inferencing for the Description Logic Underlying OWL EL2010Technical report
Efficient OWL Reasoning with Logic ProgramsEfficient OWL Reasoning with Logic Programs – EvaluationsProceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR-07)2007Conference paper
Efficient Rule-Based Inferencing for OWL ELEfficient Rule-Based Inferencing for OWL ELProceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)2011Conference paper
Extending Decidable Existential Rules by Joining Acyclicity and GuardednessExtending Decidable Existential Rules by Joining Acyclicity and GuardednessProceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)2011Conference paper
Five years of structured wiki data with SMW: experiences and directionsFive years of structured wiki data with SMW: experiences and directions2010Talk
Fixed Parameter Tractable Reasoning in DLs via DecompositionFixed Parameter Tractable Reasoning in DLs via DecompositionProceedings of the 24th International Workshop on Description Logics (DL-11)2011Workshop paper
Flag & Check: Data Access with Monadically Defined QueriesFlag & Check: Data Access with Monadically Defined QueriesProceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2013)2013Conference paper
Formalizing Ontology Alignment and its Operations with Category TheoryFormalizing Ontology Alignment and its Operations with Category TheoryProceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS-06)2006Conference paper
Foundations of Semantic Web TechnologiesFoundations of Semantic Web Technologies2009Book
Generalized Ultrametric Spaces in Quantitative Domain TheoryGeneralized Ultrametric Spaces in Quantitative Domain TheoryTheoretical Computer Science 368 (1–2)2006Journal paper
Growing Open Source Communities Around Academic ProjectsOut of the Lab, Into the Wild: Growing Open Source Communities Around Academic ProjectsOpen Advice2012Book chapter
How to Best Nest Regular Path QueriesHow to Best Nest Regular Path QueriesProceedings of the 27th International Workshop on Description Logics (DL-14)2014Workshop paper
How to reason with OWL in a logic programming systemHow to reason with OWL in a logic programming systemProceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-06)2006Conference paper
How to use Wikidata: Things to make and do with 40 million statementsHow to use Wikidata: Things to make and do with 40 million statementsKeynote at the 10th Wikimania Conference2014Talk
Introducing Wikidata to the Linked Data WebIntroducing Wikidata to the Linked Data WebProceedings of the 13th International Semantic Web Conference2014Conference paper
Is Your Database System a Semantic Web ReasonerIs Your Database System a Semantic Web Reasoner?Künstliche Intelligenz 30(2)2016Journal paper
Knowledge, Structure, and Other StuffKnowledge, Structure, and Other Stuff – The State of Semantic MediaWiki2008Talk
Leveraging Non-Lexical Knowledge for the Linked Open Data WebLeveraging Non-Lexical Knowledge for the Linked Open Data WebReview of AF Transactions 1/20102010Journal paper
Logik und Logikprogrammierung: Aufgaben und LösungenLogik und Logikprogrammierung, Band 2: Aufgaben und Lösungen2011Book
Morphisms in ContextMorphisms in ContextProceedings of the 13th International Conference on Conceptual Structures (ICCS-05)2005Conference paper
Morphisms in Logic, Topology, and Formal Concept AnalysisMorphisms in Logic, Topology, and Formal Concept Analysis2005Master's thesis
Nominal Schemas for Integrating Rules and Description LogicsNominal Schemas for Integrating Rules and OntologiesProceedings of the 24th International Workshop on Description Logics (DL-11)2011Workshop paper
Nominal Schemas in Description Logics: Complexities ClarifiedNominal Schemas in Description Logics: Complexities ClarifiedProceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014)2014Conference paper
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological ModellingNonmonotonic Existential Rules for Non-Tree-Shaped Ontological ModellingProceedings of the 26th International Workshop on Description Logics (DL-13)2013Workshop paper
OWL 2 ProfilesOWL 2 Profiles: An Introduction to Lightweight Ontology LanguagesReasoning Web Summer School 20122012Book chapter
OWL 2 Web Ontology Language ConformanceOWL 2 Web Ontology Language Conformance27 October 2009Standardization document
OWL 2 Web Ontology Language PrimerOWL 2 Web Ontology Language Primer27 October 2009Standardization 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)2012Workshop paper
On the Complexity of Horn Description LogicsOn the Complexity of Horn Description LogicsProceedings of the 2nd Workshop on OWL: Experiences and Directions (OWLED-06)2006Workshop paper
On the Complexity of Universality for Partially Ordered NFAsOn the Complexity of Universality for Partially Ordered NFAsProceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)2016Conference paper
On the Semantic Relationship between Datalog and Description LogicsOn the Semantic Relationship between Datalog and Description LogicsProceedings of the 4th International Conference on Web Reasoning and Rule Systems2010Conference paper
Ontologies for Knowledge Graphs: Breaking the RulesOntologies for Knowledge Graphs: Breaking the RulesProceedings of the 15th International Semantic Web Conference (ISWC 2016)2016Conference paper
OpenGL im HandumdrehenOpenGL im HandumdrehenDer Entwickler 03.20012001Journal paper
Order matters!Order matters! Harnessing a world of orderings for reasoning over massive dataSemantic Web Journal 4(2)2013Journal paper
Orel: Database-Driven Reasoning for OWL 2 ProfilesOrel: Database-Driven Reasoning for OWL 2 ProfilesProceedings of the 23rd International Workshop on Description Logics (DL2010)2010Workshop paper
P ≠ PP ≠ P: Why Some Reasoning Problems are More Tractable Than OthersProceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR-14)2014Conference paper
Practical Reasoning with Nominals in the EL Family of Description LogicsPractical Reasoning with Nominals in the EL Family of Description LogicsProceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)2012Conference paper
Practical Reasoning with OWL and DL-Safe RulesPractical Reasoning with OWL and DL-Safe Rules2006Talk
Practical Reasoning with OWL and RulesPractical Reasoning with OWL and Rules2007Talk
Querying Formal Contexts with Answer Set ProgramsQuerying Formal Contexts with Answer Set ProgramsProceedings of the 14th International Conference on Conceptual Structures (ICCS-06)2006Conference paper
Quo vadis, CS?Quo Vadis, CS? – On the (non)-impact of Conceptual Structures on the Semantic WebProceedings of the 15th International Conference on Conceptual Structures (ICCS-07)2007Conference paper
Reasonable Highly Expressive Query LanguagesReasonable Highly Expressive Query LanguagesProceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15)2015Conference paper
Reasoning in Semantic WikisReasoning in Semantic WikisProceedings of the 3rd Reasoning Web Summer School2007Workshop paper
Reifying RDF: What Works Well With WikidataReifying RDF: What Works Well With Wikidata?Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2015)2015Workshop paper
Reusing Ontological Background Knowledge in Semantic WikisReusing Ontological Background Knowledge in Semantic WikisProceedings of the First Workshop on Semantic Wikis – From Wikis to Semantics2006Workshop paper
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential RulesRevisiting Acyclicity and Guardedness Criteria for Decidability of Existential RulesInstitute AIFB Technical Report 30112011Technical report
SPARQL Beyond Subgraph MatchingSPARQL Beyond Subgraph MatchingProceedings of the 9th International Semantic Web Conference2010Conference paper
Schema-Agnostic Query Rewriting for OWL QLSchema-Agnostic Query Rewriting for OWL QLProceedings of the 28th International Workshop on Description Logics (DL-15)2015Workshop paper
Schema-Agnostic Query Rewriting in SPARQL 1.1Schema-Agnostic Query Rewriting in SPARQL 1.1Proceedings of the 13th International Semantic Web Conference2014Conference paper
Second-Order Queries for Rule-Based Data AccessSecond-Order Queries for Rule-Based Data AccessInstitute AIFB Technical Report 30192011Technical report
Semantic MediaWiki (Foundations for the Web of Information and Services)Semantic MediaWikiFoundations for the Web of Information and Services2011Book chapter
Semantic MediaWiki (ISWC2006)Semantic MediaWikiProceedings of the 5th International Semantic Web Conference (ISWC-06)2006Conference paper
Semantic MediaWiki (Semantic Knowledge Management)Semantic MediaWikiSemantic Knowledge Management2009Book chapter
Semantic MediaWiki in 15 minutesSemantic MediaWiki in 15 minutes2008Talk
Semantic MediaWiki: Past, Present, FutureSemantic MediaWiki: Past, Present, Future2010Talk
Semantic Web – GrundlagenSemantic Web – Grundlagen2008Book
Semantic Wikipedia (JWS2007)Semantic WikipediaJournal of Web Semantics 5 (4)2007Journal paper
Semantic Wikipedia (WWW2006)Semantic WikipediaProceedings of the 15th international conference on World Wide Web (WWW-06)2006Conference paper
ShareAlike Your DataShareAlike Your Data: Self-Referential Usage Policies for the Semantic WebProceedings of the 10th International Semantic Web Conference2011Conference paper
Shortipedia: Aggregating and Curating Semantic Web DataShortipedia: Aggregating and Curating Semantic Web DataJournal of Web Semantics 9 (3)2011Journal paper
Terminological Reasoning in SHIQ with OBDDsTerminological Reasoning in SHIQ with Ordered Binary Decision DiagramsProceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08)2008Conference paper
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge BasesThe Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge BasesJournal of Artificial Intelligence Research, volume 512014Journal paper
The Fast and the NumerousThe Fast and the Numerous – Combining Machine and Community Intelligence for Semantic AnnotationProceedings of the AAAI 2008 Workshop on Wikipedia and Artificial Intelligence: An Evolving Synergy (WIKIAI-08)2008Workshop paper
The Incredible ELKThe Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL OntologiesJournal of Automated Reasoning 53:12013Journal paper
The Largest DLP PossibleThe Largest DLP Possible2009Technical report
The Not-So-Easy Task of Computing Class Subsumptions in OWL RLThe Not-So-Easy Task of Computing Class Subsumptions in OWL RLProceedings of the 11th International Semantic Web Conference2012Conference paper
The Tensor Product as a Lattice of Regular Galois ConnectionsThe Tensor Product as a Lattice of Regular Galois ConnectionsProceedings of the 4th International Conference on Formal Concept Analysis (ICFCA-06)2006Conference paper
The Two Cultures (JWS2008)The Two Cultures: Mashing up Web 2.0 and the Semantic WebJournal of Web Semantics 6 (1)2008Journal paper
The Two Cultures: Mashing up Web 2.0 and the Semantic WebThe Two Cultures: Mashing up Web 2.0 and the Semantic WebProceedings of the 16th International Conference on the World Wide Web (WWW-07)2007Conference paper
Towards The Largest DLP PossibleA Matter of Principles: Towards the Largest DLP PossibleProceedings of the 22nd International Workshop on Description Logics (DL2009)2009Workshop paper
Type-elimination-based Reasoning for SHIQbsType-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive DatalogLogical Methods in Computer Science 8 (1)2012Journal paper
Unchain My EL ReasonerUnchain My EL ReasonerProceedings of the 24th International Workshop on Description Logics (DL-11)2011Workshop paper
VLog: A Column-Oriented Datalog System for Large Knowledge GraphsVLog: A Column-Oriented Datalog System for Large Knowledge GraphsProceedings of the 15th International Semantic Web Conf. (ISWC-16), Posters and Demos2016Workshop paper
What Is Ontology Merging?What Is Ontology Merging? – A Category-Theoretical Perspective Using PushoutsProceedings of the First International Workshop on Contexts and Ontologies (C&O-05)2005Workshop paper
Where is your knowledgeWhere is Your Knowledge? – Semantic Wikis and Beyond2008Talk
Wikidata (lecture at WISS 2014)WikidataKeynote and tutorial at Web Intelligence Summer School 2014, St. Etienne, France2014Talk
Wikidata and what it means for SMWWikidata and what it means for SMWKeynote at 9th International Semantic MediaWiki Conference, Montreal, Canada2014Talk
Wikidata as a Cultural Heritage Information HubWikidata as a Cultural Heritage Information HubInvited talk at the Europeana Network Association AGM 20162016Talk
Wikidata, die freie Wissensbasis von WikipediaWikidata, die freie Wissensbasis von WikipediaInvited talk at the DINI Jahrestagung 20152015Talk
Wikidata: A Free Collaborative KnowledgebaseWikidata: A Free Collaborative KnowledgebaseCommunications of the ACM 57:102014Journal paper
Wikidata: The Next Big Thing for WikipediaWikidata: The Next Big Thing for WikipediaKeynote at 3rd Russian Conference on Knowledge Engineering and Semantic Web2012Talk
Wikipedia and the Semantic WebWikipedia and the Semantic Web – The Missing LinksProceedings of the First International Wikimedia Conference (Wikimania-05)2005Conference paper
语义Web技术基础语义Web技术基础2012Book