Long pages
From korrekt.org
Showing below up to 50 results starting with #1.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)
- (hist) Mac OS Installation Guide for Linux Users [20,709 bytes]
- (hist) Markus Krötzsch (deutsch) [8,408 bytes]
- (hist) Migrating Emails from KMail to Mac [8,324 bytes]
- (hist) Toward a More Powerful Terminal on MAC OS [8,142 bytes]
- (hist) Taiwan [5,897 bytes]
- (hist) Reviewing [5,125 bytes]
- (hist) Running Canon EOS 400D under Linux [3,832 bytes]
- (hist) Teaching [3,531 bytes]
- (hist) Description Logic Rules [3,361 bytes]
- (hist) Complexities of Horn Description Logics [3,019 bytes]
- (hist) Concurrent Classification of EL Ontologies [2,978 bytes]
- (hist) Knowledge, Structure, and Other Stuff [2,934 bytes]
- (hist) ELP: Tractable Rules for OWL 2 [2,805 bytes]
- (hist) Conjunctive Queries for a Tractable Fragment of OWL1.1 [2,699 bytes]
- (hist) Acyclicity Conditions and their Application to Query Answering in Description Logics [2,603 bytes]
- (hist) ShareAlike Your Data [2,597 bytes]
- (hist) Description Logic Reasoning with Decision Diagrams [2,514 bytes]
- (hist) OWL 2 Profiles [2,483 bytes]
- (hist) Morphisms in Logic, Topology, and Formal Concept Analysis [2,387 bytes]
- (hist) Description Logic Rules (monograph) [2,360 bytes]
- (hist) Efficient Inferencing for OWL EL [2,349 bytes]
- (hist) How to reason with OWL in a logic programming system [2,347 bytes]
- (hist) Growing Open Source Communities Around Academic Projects [2,346 bytes]
- (hist) Logik und Logikprogrammierung: Aufgaben und Lösungen [2,338 bytes]
- (hist) Rule languages [2,317 bytes]
- (hist) Generalized Ultrametric Spaces in Quantitative Domain Theory [2,240 bytes]
- (hist) Formalizing Ontology Alignment and its Operations with Category Theory [2,218 bytes]
- (hist) Adventures of Two Little OWLs in Rule Land [2,202 bytes]
- (hist) Practical Reasoning with Nominals in the EL Family of Description Logics [2,196 bytes]
- (hist) All Elephants are Bigger than All Mice [2,187 bytes]
- (hist) Activities [2,174 bytes]
- (hist) Curriculum vitae [2,141 bytes]
- (hist) On the Semantic Relationship between Datalog and Description Logics [2,137 bytes]
- (hist) Semantic MediaWiki (Semantic Knowledge Management) [2,122 bytes]
- (hist) Semantic Wikipedia (WWW2006) [2,107 bytes]
- (hist) DL Role Constructors [2,074 bytes]
- (hist) The Two Cultures (JWS2008) [2,041 bytes]
- (hist) OWL: Yet to arrive on the Web of Data? [2,032 bytes]
- (hist) Foundations of Semantic Web Technologies [2,018 bytes]
- (hist) Publikationen [2,007 bytes]
- (hist) Extending Decidable Existential Rules by Joining Acyclicity and Guardedness [1,988 bytes]
- (hist) Markus Krötzsch [1,965 bytes]
- (hist) Wikipedia and the Semantic Web [1,960 bytes]
- (hist) Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules [1,959 bytes]
- (hist) Type-elimination-based Reasoning for SHIQbs [1,950 bytes]
- (hist) Grants and awards [1,942 bytes]
- (hist) A Description Logic Primer [1,940 bytes]
- (hist) ELK: A Reasoner for OWL EL Ontologies [1,929 bytes]
- (hist) Leveraging Non-Lexical Knowledge for the Linked Open Data Web [1,924 bytes]
- (hist) A Categorical View on Algebraic Lattices in Formal Concept Analysis [1,899 bytes]