List of redirects

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. I →‎ Markus Krötzsch
  2. Markus Kroetzsch →‎ Markus Krötzsch
  3. My →‎ Markus Krötzsch
  4. SMW →‎ Semantic MediaWiki
  5. A categorical view on algebraic lattices in formal concept analysis →‎ A Categorical View on Algebraic Lattices in Formal Concept Analysis
  6. Description Logics →‎ Description logics
  7. Querying formal contexts with answer set programs →‎ Querying Formal Contexts with Answer Set Programs
  8. Semantic Wikipedia (JWS2006) →‎ Semantic Wikipedia (JWS2007)
  9. FCA →‎ Formal Concept Analysis
  10. Publications of Markus Krötzsch →‎ Publications
  11. Denny →‎ Denny Vrandečić
  12. Note:Fixed PHP problems →‎ Note:PHP5 migration problems with MediaWiki
  13. Publikationen nach Typ →‎ Publikationen
  14. Publications by type →‎ Publications
  15. Elephants →‎ All Elephants are Bigger than All Mice
  16. Semantic Wikipedia →‎ Semantic Wikipedia (JWS2007)
  17. SROIQ Rules →‎ Description Logic Rules
  18. OBDD-based Tbox Reasoning in SHIQ →‎ Terminological Reasoning in SHIQ with OBDDs
  19. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams →‎ Terminological Reasoning in SHIQ with OBDDs
  20. DL rules →‎ Expressive Tractable Description Logics based on SROIQ Rules
  21. ELP →‎ ELP: Tractable Rules for OWL 2
  22. Description logic rules →‎ Expressive Tractable Description Logics based on SROIQ Rules
  23. Expressive Tractable Description Logics based on SROIQ Rules →‎ Description Logic Rules
  24. DL Rules →‎ Description Logic Rules
  25. DL Reasoning with OBDDs →‎ Description Logic Reasoning with Decision Diagrams
  26. Description logic →‎ Description logics
  27. DL →‎ Description logics
  28. Semantic MediaWiki 1.2: bringing OWL to the Web →‎ Note:Semantic MediaWiki 1.2: bringing OWL to the Web
  29. Wikimania2008 →‎ Knowledge, Structure, and Other Stuff
  30. Markus →‎ Markus Krötzsch
  31. Kontakt →‎ Markus Krötzsch (deutsch)
  32. Ontolog →‎ Semantic MediaWiki in 15 minutes
  33. Welcome! →‎ Welcome
  34. MaxDLP →‎ The Largest DLP Possible
  35. Maximising Description Logic Programs →‎ The Largest DLP Possible
  36. A Brief Introduction to Formal Concept Analysis →‎ A Brief Introduction to FCA
  37. Eficient Inferencing for OWL EL →‎ Efficient Inferencing for OWL EL
  38. Migrating Emails from KMail →‎ Migrating Emails from KMail to Mac
  39. Installing a Mac -- a Linux user's perspective →‎ Mac OS Installation Guide for Linux Users
  40. Horn description logics →‎ Complexities of Horn Description Logics
  41. OWL EL (Jelia2010) →‎ Efficient Inferencing for OWL EL
  42. PhD thesis →‎ Description Logic Rules (monograph)
  43. Logic programming →‎ Rule languages
  44. Dissertation →‎ Description Logic Rules (monograph)
  45. Shortipedia →‎ Shortipedia: Aggregating and Curating Semantic Web Data
  46. Blog →‎ Notes
  47. Note:SPARQL →‎ Note:The State of the UNION: Why no SPARQL Condition Should be Second Class
  48. The State of the UNION →‎ Note:The State of the UNION: Why no SPARQL Condition Should be Second Class
  49. ELK →‎ ELK Reasoner
  50. Pubs →‎ Publications

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

Views
Personal tools
Toolbox