All pages with prefix

From korrekt.org

All pages Display pages with prefix: 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	Acyclicity Conditions and their Application to Query Answering in Description Logics
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: A Reasoner for OWL EL Ontologies	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
Grants and awards	Growing Open Source Communities Around Academic Projects	Growning Open Source Communities Around Academic Projects
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: Yet to arrive on the Web of Data?	OWL 2 Profiles
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	Short biography	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	Type-elimination-based Reasoning for SHIQbs
Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog	Unchain My EL Reasoner	Welcome
Welcome!	What Is Ontology Merging?	Where is your knowledge
Wikimania2008	Wikipedia and the Semantic Web	Willkommen!
World Wide Vegetarian