http://www.bibsonomy.org/concept/tag/owl+reasoningBibSonomy RSS Feed for /concept/tag/owl+reasoninghttp://www.bibsonomy.org/bibtex/2677a41744702b720f62a6db224ad94fc/fraktalekfraktalek2008-11-17T17:17:31+01:00reasoning complexity owl rdf <span style="color:#555555;">Herman J. <a href="http://www.bibsonomy.org/author/ter Horst">ter Horst</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/2677a41744702b720f62a6db224ad94fc/fraktalek"><i>Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary..</i></a><em>J. Web Sem.</em><em>Volume3. </em><em>Seite79-115. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/fraktalek/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/fraktalek/complexity">complexity</a> <a href="http://www.bibsonomy.org/user/fraktalek/owl">owl</a> <a href="http://www.bibsonomy.org/user/fraktalek/rdf">rdf</a>] <a href="http://dblp.uni-trier.de/db/journals/ws/ws3.html#Horst05">URL</a>http://www.bibsonomy.org/bibtex/2553755faa177180582567062cef6a691/deynarddeynard2008-10-10T16:46:53+02:00reasoning owl <span style="color:#555555;">Evren <a href="http://www.bibsonomy.org/author/Sirin">Sirin</a> und Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> </span>(<em>2004</em>) <a href="http://www.bibsonomy.org/bibtex/2553755faa177180582567062cef6a691/deynard"><i>Pellet: An OWL DL Reasoner..</i></a><em>Description Logics, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/deynard/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/deynard/owl">owl</a>] <a href="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/30Sirin-Parsia.pdf">URL</a>http://www.bibsonomy.org/bibtex/22710c4d62033f943126d194e751101f1/terracesterraces2008-09-06T12:33:54+02:00reasoning ontologies owl <span style="color:#555555;">Evren <a href="http://www.bibsonomy.org/author/Sirin">Sirin</a> und Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> und Bernardo Cuenca <a href="http://www.bibsonomy.org/author/Grau">Grau</a> und Aditya <a href="http://www.bibsonomy.org/author/Kalyanpur">Kalyanpur</a> und Yarden <a href="http://www.bibsonomy.org/author/Katz">Katz</a> </span>(<em>2007</em>) <a href="http://www.bibsonomy.org/bibtex/22710c4d62033f943126d194e751101f1/terraces"><i>Pellet: A practical OWL-DL reasoner..</i></a><em>Journal of Web Semantics</em><em>Volume5. </em><em>Seite51-53. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/terraces/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/terraces/ontologies">ontologies</a> <a href="http://www.bibsonomy.org/user/terraces/owl">owl</a>] <a href="http://dblp.uni-trier.de/db/journals/ws/ws5.html#SirinPGKK07">URL</a>http://www.bibsonomy.org/bibtex/2173577d6925356aec0d8e9746613467b/haschekhaschek2008-02-11T08:09:28+01:00Reasoning _Diplomathesis OWL English DescriptionLogic <span style="color:#555555;">Thomas <a href="http://www.bibsonomy.org/author/Eiter">Eiter</a> und Giovambattista <a href="http://www.bibsonomy.org/author/Ianni">Ianni</a> und Axel <a href="http://www.bibsonomy.org/author/Polleres">Polleres</a> und Roman <a href="http://www.bibsonomy.org/author/Schindlauer">Schindlauer</a> und Hans <a href="http://www.bibsonomy.org/author/Tompits">Tompits</a> </span>(<em>2006</em>) <a href="http://www.bibsonomy.org/bibtex/2173577d6925356aec0d8e9746613467b/haschek"><i>Reasoning with Rules and Ontologies..</i></a><em>Reasoning Web, </em><em>Seite93-127. </em><em>Springer, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/haschek/Reasoning">Reasoning</a> <a href="http://www.bibsonomy.org/user/haschek/_Diplomathesis">_Diplomathesis</a> <a href="http://www.bibsonomy.org/user/haschek/OWL">OWL</a> <a href="http://www.bibsonomy.org/user/haschek/English">English</a> <a href="http://www.bibsonomy.org/user/haschek/DescriptionLogic">DescriptionLogic</a>] <a href="http://dblp.uni-trier.de/db/conf/rweb/rweb2006.html#EiterIPST06">URL</a>http://www.bibsonomy.org/bibtex/20fc460cfaeded3696821f8a515c29bcd/haschekhaschek2008-01-26T07:18:56+01:00Reasoning _Diplomathesis Web OWL FaCT++ Semantic Tableau English <span style="color:#555555;">D. <a href="http://www.bibsonomy.org/author/Tsarkov">Tsarkov</a> und I. <a href="http://www.bibsonomy.org/author/Horrocks">Horrocks</a> </span>(<em>2006</em>) <a href="http://www.bibsonomy.org/bibtex/20fc460cfaeded3696821f8a515c29bcd/haschek"><i>FaCT++ Description Logic Reasoner: System Description.</i></a><em>Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), </em><em>Seite292--297. </em><em>Springer, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/haschek/Reasoning">Reasoning</a> <a href="http://www.bibsonomy.org/user/haschek/_Diplomathesis">_Diplomathesis</a> <a href="http://www.bibsonomy.org/user/haschek/Web">Web</a> <a href="http://www.bibsonomy.org/user/haschek/OWL">OWL</a> <a href="http://www.bibsonomy.org/user/haschek/FaCT++">FaCT++</a> <a href="http://www.bibsonomy.org/user/haschek/Semantic">Semantic</a> <a href="http://www.bibsonomy.org/user/haschek/Tableau">Tableau</a> <a href="http://www.bibsonomy.org/user/haschek/English">English</a>]http://www.bibsonomy.org/bibtex/26d27f4714754a97b6bbde94bceb9d676/haschekhaschek2008-01-26T07:09:46+01:00Reasoning _Diplomathesis Web Pellet OWL Semantic English <span style="color:#555555;">Evren <a href="http://www.bibsonomy.org/author/Sirin">Sirin</a> und Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> </span>(<em>2004</em>) <a href="http://www.bibsonomy.org/bibtex/26d27f4714754a97b6bbde94bceb9d676/haschek"><i>Pellet: An OWL DL Reasoner..</i></a><em>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/haschek/Reasoning">Reasoning</a> <a href="http://www.bibsonomy.org/user/haschek/_Diplomathesis">_Diplomathesis</a> <a href="http://www.bibsonomy.org/user/haschek/Web">Web</a> <a href="http://www.bibsonomy.org/user/haschek/Pellet">Pellet</a> <a href="http://www.bibsonomy.org/user/haschek/OWL">OWL</a> <a href="http://www.bibsonomy.org/user/haschek/Semantic">Semantic</a> <a href="http://www.bibsonomy.org/user/haschek/English">English</a>]http://www.bibsonomy.org/bibtex/2e8431ffc9d0616f23f2eca1a55572bb5/iswc2007iswc20072007-11-07T19:13:58+01:00iswc reasoning formal_language 2007 semantic_web query owl research_14 fragment conjunctive <span style="color:#555555;">Markus <a href="http://www.bibsonomy.org/author/Krötzsch">Kr&#246;tzsch</a> und Sebastian <a href="http://www.bibsonomy.org/author/Rudolph">Rudolph</a> und Pascal <a href="http://www.bibsonomy.org/author/Hitzler">Hitzler</a> </span>(<em>2007</em>) <a href="http://www.bibsonomy.org/bibtex/2e8431ffc9d0616f23f2eca1a55572bb5/iswc2007"><i>Conjunctive Queries for a Tractable Fragment of OWL 1.1.</i></a><em>Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, </em><em>Seite309--322. </em><em>Berlin, Heidelberg, </em><em>Springer Verlag, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/iswc2007/iswc">iswc</a> <a href="http://www.bibsonomy.org/user/iswc2007/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/iswc2007/formal_language">formal_language</a> <a href="http://www.bibsonomy.org/user/iswc2007/2007">2007</a> <a href="http://www.bibsonomy.org/user/iswc2007/semantic_web">semantic_web</a> <a href="http://www.bibsonomy.org/user/iswc2007/query">query</a> <a href="http://www.bibsonomy.org/user/iswc2007/owl">owl</a> <a href="http://www.bibsonomy.org/user/iswc2007/research_14">research_14</a> <a href="http://www.bibsonomy.org/user/iswc2007/fragment">fragment</a> <a href="http://www.bibsonomy.org/user/iswc2007/conjunctive">conjunctive</a>] <a href="http://iswc2007.semanticweb.org/papers/309.pdf">URL</a>A Fuzzy Description Logic for the Semantic Webhttp://www.bibsonomy.org/bibtex/2c5289afef47f17cfded96fc1c8b3dcc0/deynarddeynard2007-03-09T10:22:09+01:00reasoning fuzzy owl <span style="color:#555555;">U. <a href="http://www.bibsonomy.org/author/Straccia">Straccia</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/2c5289afef47f17cfded96fc1c8b3dcc0/deynard"><i>A fuzzy description logic for the semantic web.</i></a> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/deynard/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/deynard/fuzzy">fuzzy</a> <a href="http://www.bibsonomy.org/user/deynard/owl">owl</a>] <a href="http://citeseer.ist.psu.edu/straccia05fuzzy.html">URL</a>http://www.bibsonomy.org/bibtex/2a980e22ff6c614465ece11c0dc0270b9/deynarddeynard2007-03-09T10:21:44+01:00reasoning fuzzy owl <span style="color:#555555;">Giorgos <a href="http://www.bibsonomy.org/author/Stoilos">Stoilos</a> und Giorgos <a href="http://www.bibsonomy.org/author/Stamou">Stamou</a> und Vassilis <a href="http://www.bibsonomy.org/author/Tzouvaras">Tzouvaras</a> und Jeff Z. <a href="http://www.bibsonomy.org/author/Pan">Pan</a> und Ian <a href="http://www.bibsonomy.org/author/Horrocks">Horrocks</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/2a980e22ff6c614465ece11c0dc0270b9/deynard"><i>Fuzzy OWL: Uncertainty and the Semantic Web.</i></a><em>Proc.\ of the First OWL Experiences and Directions Workshop, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/deynard/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/deynard/fuzzy">fuzzy</a> <a href="http://www.bibsonomy.org/user/deynard/owl">owl</a>] <a href="http://dl.kr.org/owled2005/sub16.pdf">URL</a>http://www.bibsonomy.org/bibtex/267d55d5381b1b238da5448485c419d47/deynarddeynard2007-03-09T10:16:15+01:00reasoning fuzzy owl <span style="color:#555555;">Sudhir <a href="http://www.bibsonomy.org/author/Agarwal">Agarwal</a> und Pascal <a href="http://www.bibsonomy.org/author/Hitzler">Hitzler</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/267d55d5381b1b238da5448485c419d47/deynard"><i>Modeling Fuzzy Rules with Description Logics.</i></a><em>Proceedings of Workshop on OWL Experiences and Directions, </em><em>Galway, Ireland, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/deynard/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/deynard/fuzzy">fuzzy</a> <a href="http://www.bibsonomy.org/user/deynard/owl">owl</a>] <a href="\url{http://www.aifb.uni-karlsruhe.de/WBS/sag/papers/Agarwal_Hitzler-ModelingFuzzyRulesWithDescriptionLogics-OWLED-05.pdf}">URL</a>dblphttp://www.bibsonomy.org/bibtex/2bba916cb55a38787451c455fbc710f3b/deynarddeynard2007-03-09T10:16:00+01:00reasoning fuzzy owl <span style="color:#555555;">Mingxia <a href="http://www.bibsonomy.org/author/Gao">Gao</a> und Chunnian <a href="http://www.bibsonomy.org/author/Liu">Liu</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/2bba916cb55a38787451c455fbc710f3b/deynard"><i>Extending OWL by Fuzzy Description Logic..</i></a><em>ICTAI, </em><em>Seite562-567. </em><em>IEEE Computer Society, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/deynard/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/deynard/fuzzy">fuzzy</a> <a href="http://www.bibsonomy.org/user/deynard/owl">owl</a>] <a href="http://dblp.uni-trier.de/db/conf/ictai/ictai2005.html#GaoL05">URL</a>