BibSonomy :: tag  ::

order by ( date | folkrank )

bookmarks

(7) 

• Reasoning with Rules and Ontologies
  to phd_related semantic_web paper logic_programming description_logic ontology rules by mhausenblas on Oct 4, 2006, 7:21 AM
• DL Reasoner vs. First-Order Prover
  to phd_related paper logic_programming description_logic by mhausenblas on Apr 11, 2006, 12:13 PM
• A Correspondence Theory for Terminological Logics: Preliminary Report
  to phd_related paper logic_programming description_logic by mhausenblas on Apr 11, 2006, 12:12 PM
• Description Logics
  to phd_related semantic_web paper description_logic reference by mhausenblas and 5 other people on Apr 7, 2006, 9:29 AM
• CARIN: A Representation Language Combining Horn Rules and Description Logics - Levy, Rousset (ResearchIndex)
  to semantic_web paper description_logic rules by mhausenblas on Apr 2, 2006, 9:10 PM
• Description Logic Programs: Combining Logic Programs with Description Logic
  PDF version
  to w3c paper logic_programming description_logic people rules by mhausenblas on Mar 20, 2006, 12:18 PM
• Description Logic Programs: Combining Logic Programs with Description Logic
  to w3c paper logic_programming description_logic people rules by mhausenblas on Mar 20, 2006, 12:16 PM

publications