Long pages

From korrekt.org

Jump to: navigation, search

Showing below up to 50 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

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

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

Views
Personal tools
Toolbox