BibSonomy :: user  :: haschek ::

bookmarks

publications

(5)   

• Reasoning with Rules and Ontologies.
  Thomas Eiter and Giovambattista Ianni and Axel Polleres and Roman Schindlauer and Hans Tompits Reasoning Web, volume4126ofLecture Notes in Computer Science, page93-127. Springer, (2006)
  to OWL DescriptionLogic Reasoning _Diplomathesis English by haschek and 2 other people on Feb 11, 2008, 8:09 AM
  URL | BibTeX 
• Reasoning im und für das Semantic Web
  Wolfgang May Semantic Web -- Wege zur vernetzten Wissensgesellschaft, Springer, (2006)
  to Web _Diplomathesis deutsch Semantic Reasoning by haschek on Jan 29, 2008, 2:50 AM
  URL | BibTeX 
• FaCT++ Description Logic Reasoner: System Description
  D. Tsarkov and I. Horrocks Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume4130ofLecture Notes in Artificial Intelligence, page292--297. Springer, (2006)
  to _Diplomathesis Tableau Web FaCT++ Semantic English Reasoning OWL by haschek and 1 other person on Jan 26, 2008, 7:18 AM
  BibTeX 
• Pellet: An OWL DL Reasoner.
  Evren Sirin and Bijan Parsia Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, volume104ofCEUR Workshop Proceedings, (2004)
  to Pellet Semantic OWL English Web Reasoning _Diplomathesis by haschek and 4 other people on Jan 26, 2008, 7:09 AM
  BibTeX 
• Pellet: A practical OWL-DL reasoner.
  Evren Sirin and Bijan Parsia and Bernardo Cuenca Grau and Aditya Kalyanpur and Yarden Katz Journal of Web Semantics5(2):51-53(2007)
  to Pellet English _Diplomathesis Reasoning Semantic Web by haschek and 1 other person on Jan 25, 2008, 6:14 PM
  URL | BibTeX