http://www.bibsonomy.org/tag/descriptionlogicBibSonomy RSS Feed for /tag/descriptionlogicdblphttp://www.bibsonomy.org/bibtex/27b18c5dec3672081adfdcfc000e3ff50/minguezminguez2008-03-25T16:21:10+01:00descriptionlogic matchmaking master <span style="color:#555555;">Matthias <a href="http://www.bibsonomy.org/author/Klusch">Klusch</a> and Benedikt <a href="http://www.bibsonomy.org/author/Fries">Fries</a> and Katia <a href="http://www.bibsonomy.org/author/Sycara">Sycara</a> </span>(<em>2006</em>) <a href="http://www.bibsonomy.org/bibtex/27b18c5dec3672081adfdcfc000e3ff50/minguez"><i>Automated semantic web service discovery with OWLS-MX..</i></a><em>AAMAS, </em><em>page915-922. </em><em>ACM, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/minguez/descriptionlogic">descriptionlogic</a> <a href="http://www.bibsonomy.org/user/minguez/matchmaking">matchmaking</a> <a href="http://www.bibsonomy.org/user/minguez/master">master</a>] <a href="http://dblp.uni-trier.de/db/conf/atal/aamas2006.html#KluschFS06">URL</a>http://www.bibsonomy.org/bibtex/21bfb5f33156769d97d22bf8d5b4369dc/minguezminguez2008-03-25T16:04:37+01:00descriptionlogic matchmaking master <span style="color:#555555;">Alexander <a href="http://www.bibsonomy.org/author/Borgida">Borgida</a> and Thomas <a href="http://www.bibsonomy.org/author/Walsh">Walsh</a> and Haym <a href="http://www.bibsonomy.org/author/Hirsh">Hirsh</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/21bfb5f33156769d97d22bf8d5b4369dc/minguez"><i>Towards Measuring Similarity in Description Logics..</i></a><em>Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK, </em><em>CEUR-WS.org, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/minguez/descriptionlogic">descriptionlogic</a> <a href="http://www.bibsonomy.org/user/minguez/matchmaking">matchmaking</a> <a href="http://www.bibsonomy.org/user/minguez/master">master</a>] <a href="http://www.ceur-ws.org/Vol-147/25-BorgidaEtAl.pdf">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> and Giovambattista <a href="http://www.bibsonomy.org/author/Ianni">Ianni</a> and Axel <a href="http://www.bibsonomy.org/author/Polleres">Polleres</a> and Roman <a href="http://www.bibsonomy.org/author/Schindlauer">Schindlauer</a> and 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>page93-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/28f3f1f04cff817827c01f2d86b057a85/berruetaberrueta2007-12-05T13:25:29+01:002007 descriptionlogic turruta-eswc2008 matchmaking <span style="color:#555555;">Tommaso Di <a href="http://www.bibsonomy.org/author/Noia">Noia</a> and Eugenio Di <a href="http://www.bibsonomy.org/author/Sciascio">Sciascio</a> and Francesco M. <a href="http://www.bibsonomy.org/author/Donini">Donini</a> </span>(<em>2007</em>) <a href="http://www.bibsonomy.org/bibtex/28f3f1f04cff817827c01f2d86b057a85/berrueta"><i>Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach.</i></a><em>Journal of Artificial Intelligence Research</em><em>volume29. </em><em>page269-307. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/berrueta/2007">2007</a> <a href="http://www.bibsonomy.org/user/berrueta/descriptionlogic">descriptionlogic</a> <a href="http://www.bibsonomy.org/user/berrueta/turruta-eswc2008">turruta-eswc2008</a> <a href="http://www.bibsonomy.org/user/berrueta/matchmaking">matchmaking</a>]This is also the basis for the DLP tractable fragment of owl1.1http://www.bibsonomy.org/bibtex/280f4195663781ec031df1adca4523ee6/ivan_hermanivan_herman2007-01-26T12:15:40+01:00descriptionlogic owl owl1.1 rules semanticweb <span style="color:#555555;">Benjamin <a href="http://www.bibsonomy.org/author/Grosof">Grosof</a> and Ian <a href="http://www.bibsonomy.org/author/Horrocks">Horrocks</a> and Raphael <a href="http://www.bibsonomy.org/author/Volz">Volz</a> and Stefan <a href="http://www.bibsonomy.org/author/Decker">Decker</a> </span>(<em>2003</em>) <a href="http://www.bibsonomy.org/bibtex/280f4195663781ec031df1adca4523ee6/ivan_herman"><i>Description Logic Programs: Combining Logic Programming with Description Logic.</i></a><em>Proceedings of the WWW2003 Conference, Budapest, Hungary, </em><em>New York, </em><em>ACM, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/ivan_herman/descriptionlogic">descriptionlogic</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl">owl</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl1.1">owl1.1</a> <a href="http://www.bibsonomy.org/user/ivan_herman/rules">rules</a> <a href="http://www.bibsonomy.org/user/ivan_herman/semanticweb">semanticweb</a>] <a href="http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html">URL</a>http://www.bibsonomy.org/bibtex/2cc2fd6986de06b8b548d611ec04cc465/ivan_hermanivan_herman2007-01-19T20:41:07+01:00descriptionlogic owl owl1.1 semanticweb <span style="color:#555555;">Ian <a href="http://www.bibsonomy.org/author/Horrocks">Horrocks</a> and Oliver <a href="http://www.bibsonomy.org/author/Kutz">Kutz</a> and Uli <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span>(<em>2006</em>) <a href="http://www.bibsonomy.org/bibtex/2cc2fd6986de06b8b548d611ec04cc465/ivan_herman"><i>The Even More Irrestistible SROIQ.</i></a><em>Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), </em><em>AAAI Press, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/ivan_herman/descriptionlogic">descriptionlogic</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl">owl</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl1.1">owl1.1</a> <a href="http://www.bibsonomy.org/user/ivan_herman/semanticweb">semanticweb</a>] <a href="http://www.cs.man.ac.uk/%7Esattler/publications/sroiq-tr.pdf">URL</a>This the basis of the HORN-SHIQ tractable fragment in the OWL1.1 submissionhttp://www.bibsonomy.org/bibtex/220b8a19d9036ef70e3dee51cb3eaa95e/ivan_hermanivan_herman2007-01-12T11:31:30+01:00descriptionlogic owl owl1.1 semanticweb <span style="color:#555555;">Ullrich <a href="http://www.bibsonomy.org/author/Hustadt">Hustadt</a> and Boris <a href="http://www.bibsonomy.org/author/Motik">Motik</a> and Ulrike <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/220b8a19d9036ef70e3dee51cb3eaa95e/ivan_herman"><i>Data Complexity of Reasoning in Very Expressive Description Logics.</i></a><em>Proceedings of the International Joint Conferences on Artificial Intelligence (IJCAI-05), </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/ivan_herman/descriptionlogic">descriptionlogic</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl">owl</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl1.1">owl1.1</a> <a href="http://www.bibsonomy.org/user/ivan_herman/semanticweb">semanticweb</a>] <a href="http://www.ijcai.org/papers/0326.pdf">URL</a>Basis of the EL++ tractable fragment of the OWL1.1 submissionhttp://www.bibsonomy.org/bibtex/2c1503c4f44a200582e2d67772485ba11/ivan_hermanivan_herman2007-01-12T11:30:58+01:00descriptionlogic owl owl1.1 semanticweb <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and Sebastian <a href="http://www.bibsonomy.org/author/Brandt">Brandt</a> and Carsten <a href="http://www.bibsonomy.org/author/Lutz">Lutz</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/2c1503c4f44a200582e2d67772485ba11/ivan_herman"><i>Pushing the EL Envelope.</i></a><em>International Joint Conferences on Artificial Intelligence (IJCAI-05), </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/ivan_herman/descriptionlogic">descriptionlogic</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl">owl</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl1.1">owl1.1</a> <a href="http://www.bibsonomy.org/user/ivan_herman/semanticweb">semanticweb</a>] <a href="http://www.ijcai.org/papers/0372.pdf">URL</a>Core of the DL-Lite tractable fragmenthttp://www.bibsonomy.org/bibtex/21649b9dd5c1b28227fa923d0afa4de4b/ivan_hermanivan_herman2007-01-12T11:30:07+01:00descriptionlogic owl owl1.1 semanticweb <span style="color:#555555;">Diego <a href="http://www.bibsonomy.org/author/Calvanese">Calvanese</a> and Giuseppe De <a href="http://www.bibsonomy.org/author/Giacomo">Giacomo</a> and Domenico <a href="http://www.bibsonomy.org/author/Lembo">Lembo</a> and Maurizio <a href="http://www.bibsonomy.org/author/Lenzerini">Lenzerini</a> and Riccardo <a href="http://www.bibsonomy.org/author/Rosati">Rosati</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/21649b9dd5c1b28227fa923d0afa4de4b/ivan_herman"><i>Tailoring OWL for Data Intensive Ontologies.</i></a><em>Proceedings of the OWL: Experiences and Directions Workshop, Galway, Ireland, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/ivan_herman/descriptionlogic">descriptionlogic</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl">owl</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl1.1">owl1.1</a> <a href="http://www.bibsonomy.org/user/ivan_herman/semanticweb">semanticweb</a>] <a href="http://www.mindswap.org/OWLWorkshop/sub13.pdf">URL</a>ISBN: 03029743 The claim is also that most of the problems are solved with owl1.1...http://www.bibsonomy.org/bibtex/295bcc0aebf5fddf637a2fbe7fcee68c8/ivan_hermanivan_herman2007-01-12T11:29:50+01:00descriptionlogic owl owl1.1 semanticweb <span style="color:#555555;">Taowei David <a href="http://www.bibsonomy.org/author/Wang">Wang</a> and Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> and James <a href="http://www.bibsonomy.org/author/Hendler">Hendler</a> </span>(<em>2006</em>) <a href="http://www.bibsonomy.org/bibtex/295bcc0aebf5fddf637a2fbe7fcee68c8/ivan_herman"><i>A Survey of theWeb Ontology Landscape.</i></a><em>5th International Semantic Web Conference, Athens, GA, USA, November 5-9, </em><em>Heidelberg, </em><em>Springer Verlag, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/ivan_herman/descriptionlogic">descriptionlogic</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl">owl</a> <a href="http://www.bibsonomy.org/user/ivan_herman/owl1.1">owl1.1</a> <a href="http://www.bibsonomy.org/user/ivan_herman/semanticweb">semanticweb</a>] <a href="http://iswc2006.semanticweb.org/items/paper_6.php">URL</a>http://www.bibsonomy.org/bibtex/2a71c8b6b593886f07deaf58a66aae436/lysander07lysander072006-12-12T12:38:12+01:00descriptionLogic SWAP2005 logic <span style="color:#555555;">Claudia <a href="http://www.bibsonomy.org/author/d&#039;Amato">d'Amato</a> and Nicola <a href="http://www.bibsonomy.org/author/Fanizzi">Fanizzi</a> and Floriana <a href="http://www.bibsonomy.org/author/Esposito">Esposito</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/2a71c8b6b593886f07deaf58a66aae436/lysander07"><i>A Dissimilarity Measure for the ALC Description Logic.</i></a><em>roceedings of SWAP 2005, the 2nd Italian Semantic Web Workshop, Trento, Italy, December 14-16, 2005, CEUR Workshop Proceedings, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/lysander07/descriptionLogic">descriptionLogic</a> <a href="http://www.bibsonomy.org/user/lysander07/SWAP2005">SWAP2005</a> <a href="http://www.bibsonomy.org/user/lysander07/logic">logic</a>] <a href="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-166/19.pdf">URL</a>http://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/lysander07lysander072006-11-27T10:54:42+01:00descriptionLogic swss06-05 swss06-06 knowledgeEngineering semwebss06 logic <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and Diego <a href="http://www.bibsonomy.org/author/Calvanese">Calvanese</a> and Deborah <a href="http://www.bibsonomy.org/author/McGuinness">McGuinness</a> and Daniele <a href="http://www.bibsonomy.org/author/Nardi">Nardi</a> and Peter <a href="http://www.bibsonomy.org/author/Patel-Schneider">Patel-Schneider</a> (eds.). </span>(<em>2003</em>) <a href="http://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/lysander07"><i>The Description Logic Handbook: Theory, Implementation and Applications.</i></a><em>Cambridge, </em><em>Cambridge University Press, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/lysander07/descriptionLogic">descriptionLogic</a> <a href="http://www.bibsonomy.org/user/lysander07/swss06-05">swss06-05</a> <a href="http://www.bibsonomy.org/user/lysander07/swss06-06">swss06-06</a> <a href="http://www.bibsonomy.org/user/lysander07/knowledgeEngineering">knowledgeEngineering</a> <a href="http://www.bibsonomy.org/user/lysander07/semwebss06">semwebss06</a> <a href="http://www.bibsonomy.org/user/lysander07/logic">logic</a>] <a href="http://www.amazon.de/gp/product/0521781760?ie=UTF8&amp;tag=moresemantic-21&amp;linkCode=as2&amp;camp=1638&amp;creative=6742&amp;creativeASIN=0521781760">URL</a>