BibSonomy bookmarks for /tag/description_logichttp://www.bibsonomy.org/rss/tag/description_logicBibSonomy RSS Feed for /tag/description_logicRacer Systems GmbH & Co. KG Downloadshttps://www.racer-systems.com/products/download/dl.phtml?id=wscmw.h48agtcorrendo2007-01-15T15:32:58+01:00description_logic reasoner Reasoning with Rules and Ontologieshttp://platon.escet.urjc.es/~axel/publications/eit-etal-2006_rowSchool.pdfmhausenblas2006-10-04T07:21:03+02:00description_logic semantic_web logic_programming paper ontology phd_related rules WonderWeb OWL Ontology Validatorhttp://phoebus.cs.man.ac.uk:9999/OWL/Validatormhausenblas2006-05-11T10:34:15+02:00semantic_web OWL tools description_logic Description Logic Programshttp://logic.aifb.uni-karlsruhe.de/mhausenblas2006-04-27T19:58:50+02:00logic_programming reference description_logic Description Logic Markup Languagehttp://co4.inrialpes.fr/xml/dlml/mhausenblas2006-04-11T13:42:57+02:00XML description_logic XSLT latex tools LaTeX for Logicianshttp://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/mhausenblas2006-04-11T13:30:34+02:00description_logic latex reference phd_related DL Reasoner vs. First-Order Proverhttp://www.cs.man.ac.uk/~horrocks/Publications/download/2003/TsHo03a.pdfmhausenblas2006-04-11T12:13:29+02:00logic_programming description_logic paper phd_related A Correspondence Theory for Terminological Logics: Preliminary Reporthttp://flp.cs.tu-berlin.de/publikationen/kit/KIT-Reports/r091.pdfmhausenblas2006-04-11T12:12:49+02:00description_logic phd_related paper logic_programming An Introduction to Description Logics (PPT)http://www.cs.man.ac.uk/~horrocks/Slides/Innsbruck-tutorial/pt2-dlintro.pptmhausenblas2006-04-11T11:54:49+02:00tutorial description_logic DESCRIPTION LOGICS coursehttp://www.inf.unibz.it/~franconi/dl/course/mhausenblas2006-04-11T11:38:07+02:00description_logic tutorial reference Description Logicshttp://dl.kr.org/mhausenblas2006-04-07T09:29:00+02:00description_logic paper reference phd_related semantic_web CARIN: A Representation Language Combining Horn Rules and Description Logics - Levy, Rousset (ResearchIndex)http://citeseer.ist.psu.edu/levy96carin.htmlmhausenblas2006-04-02T21:10:49+02:00paper description_logic semantic_web rules Description Logic Programs: Combining Logic Programs with Description LogicPDF versionhttp://www.cs.man.ac.uk/~horrocks/Publications/download/2003/p117-grosof.pdfmhausenblas2006-03-20T12:18:03+01:00rules people paper w3c description_logic logic_programming PDF versionDescription Logic Programs: Combining Logic Programs with Description Logichttp://www2003.org/cdrom/papers/refereed/p117/p117-grosof.htmlmhausenblas2006-03-20T12:16:08+01:00description_logic rules paper people w3c logic_programming