All pages

From korrekt.org

All pages Display pages starting at: Display pages ending at: Namespace: (Main) Talk User User talk korrekt.org korrekt.org talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Property Property talk Type Type talk Concept Concept talk Note Note talk

All pages

3D Baukasten	A Better Uncle For OWL	A Brief Introduction to FCA
A Brief Introduction to Formal Concept Analysis	A Categorical View on Algebraic Lattices in Formal Concept Analysis	A Description Logic Primer
A categorical view on algebraic lattices in formal concept analysis	Activities	Adventures of Two Little OWLs in Rule Land
Algebra and order	All Elephants are Bigger than All Mice	Approximate OWL-Reasoning with Screech
Blog	Complexities of Horn Description Logics	Complexity Boundaries for Horn Description Logics
Concurrent Classification of EL Ontologies	Conjunctive Queries for EL with Role Composition	Conjunctive Queries for a Tractable Fragment of OWL1.1
Contact	Curriculum vitae	DL
DLP isn't so bad after all	DL Reasoning with OBDDs	DL Role Constructors
DL Rules	DL rules	Denny
Denny Vrandecic	Description Logic Reasoning with Decision Diagrams	Description Logic Rules
Description Logic Rules (monograph)	Description Logics	Description logic
Description logic rules	Description logics	Die Zukunft der Wikis: Semantic Web
Dissertation	Dresden	ELK
ELK Reasoner	ELP	ELP: Tractable Rules for OWL 2
Efficient Inferencing for OWL EL	Efficient Inferencing for the Description Logic Underlying OWL EL	Efficient OWL Reasoning with Logic Programs
Efficient Rule-Based Inferencing for OWL EL	Eficient Inferencing for OWL EL	Elephants
Expressive Tractable Description Logics based on SROIQ Rules	Extending Decidable Existential Rules by Joining Acyclicity and Guardedness	FCA
Five years of structured wiki data with SMW: experiences and directions	Fixed Parameter Tractable Reasoning in DLs via Decomposition	Formal Concept Analysis
Formalizing Ontology Alignment and its Operations with Category Theory	Forschung	Foundations of Semantic Web Technologies
Generalized Ultrametric Spaces in Quantitative Domain Theory	Hong Kong	Horn description logics
How to reason with OWL in a logic programming system	I	Installing a Mac -- a Linux user's perspective
Knowledge, Structure, and Other Stuff	Kontakt	LaTeX
Leveraging Non-Lexical Knowledge for the Linked Open Data Web	Linux on MacBookPro	Logic programming
Logik und Logikprogrammierung: Aufgaben und Lösungen	Mac OS Installation Guide for Linux Users	Main Page
Markus	Markus Kroetzsch	Markus Krötzsch
Markus Krötzsch (deutsch)	MaxDLP	Maximising Description Logic Programs
Migrating Emails from KMail	Migrating Emails from KMail to Mac	Morphisms in Context
Morphisms in Logic, Topology, and Formal Concept Analysis	My	Nominal Schemas for Integrating Rules and Description Logics
Notes	OBDD-based Tbox Reasoning in SHIQ	OWL 2 Web Ontology Language Conformance
OWL 2 Web Ontology Language Primer	OWL EL (Jelia2010)	On the Complexity of Horn Description Logics
On the Semantic Relationship between Datalog and Description Logics	Ontolog	Ontolog2
OpenGL im Handumdrehen	Orel: Database-Driven Reasoning for OWL 2 Profiles	Pascal Hitzler
PhD thesis	Practical Reasoning with Nominals in the EL Family of Description Logics	Practical Reasoning with OWL and DL-Safe Rules
Practical Reasoning with OWL and Rules	Publications	Publications by date
Publications by type	Publications of Markus Krötzsch	Publikationen
Publikationen nach Datum	Publikationen nach Typ	Pubs
Querying Formal Contexts with Answer Set Programs	Querying formal contexts with answer set programs	Quo vadis, CS?
Reasoning in Semantic Wikis	Research	Reusing Ontological Background Knowledge in Semantic Wikis
Reviewing	Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules	Rule languages
Running Canon EOS 400D under Linux	SMW	SPARQL Beyond Subgraph Matching
SROIQ Rules	Sebastian Rudolph	Second-Order Queries for Rule-Based Data Access
Semantic MediaWiki	Semantic MediaWiki: Past, Present, Future	Semantic MediaWiki (Foundations for the Web of Information and Services)
Semantic MediaWiki (ISWC2006)	Semantic MediaWiki (Semantic Knowledge Management)	Semantic MediaWiki 1.2: bringing OWL to the Web
Semantic MediaWiki in 15 minutes	Semantic Web	Semantic Web – Grundlagen
Semantic Wikipedia	Semantic Wikipedia (JWS2006)	Semantic Wikipedia (JWS2007)
Semantic Wikipedia (WWW2006)	Semantic wikis	ShareAlike Your Data
Shortipedia	Shortipedia: Aggregating and Curating Semantic Web Data	Style
Taiwan	Teaching	Terminological Reasoning in SHIQ with OBDDs
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams	The Fast and the Numerous	The Largest DLP Possible
The State of the UNION	The Tensor Product as a Lattice of Regular Galois Connections	The Two Cultures: Mashing up Web 2.0 and the Semantic Web
The Two Cultures (JWS2008)	Toward a More Powerful Terminal on MAC OS	Towards The Largest DLP Possible
Unchain My EL Reasoner	Welcome	Welcome!
What Is Ontology Merging?	Where is your knowledge	Wikimania2008
Wikipedia and the Semantic Web	Willkommen!	World Wide Vegetarian