BibSonomy :: user  :: mhausenblas ::

bookmarks

(13) 

• Reasoning with Rules and Ontologies
  to phd_related logic_programming ontology rules paper semantic_web description_logic by mhausenblas on Oct 4, 2006, 7:21 AM
• WonderWeb OWL Ontology Validator
  to tools semantic_web description_logic OWL by mhausenblas and 2 other people on May 11, 2006, 10:34 AM
• Description Logic Programs
  to logic_programming description_logic reference by mhausenblas on Apr 27, 2006, 7:58 PM
• Description Logic Markup Language
  to latex XSLT tools XML description_logic by mhausenblas on Apr 11, 2006, 1:42 PM
• LaTeX for Logicians
  to latex phd_related description_logic reference by mhausenblas and 2 other people on Apr 11, 2006, 1:30 PM
• DL Reasoner vs. First-Order Prover
  to phd_related logic_programming paper description_logic by mhausenblas on Apr 11, 2006, 12:13 PM
• A Correspondence Theory for Terminological Logics: Preliminary Report
  to logic_programming phd_related paper description_logic by mhausenblas on Apr 11, 2006, 12:12 PM
• An Introduction to Description Logics (PPT)
  to tutorial description_logic by mhausenblas on Apr 11, 2006, 11:54 AM
• DESCRIPTION LOGICS course
  to tutorial description_logic reference by mhausenblas and 6 other people on Apr 11, 2006, 11:38 AM
• Description Logics
  to phd_related paper semantic_web description_logic reference by mhausenblas and 5 other people on Apr 7, 2006, 9:29 AM

publications