http://www.bibsonomy.org/burst/concept/user/marciomr/DLsBibSonomy BuRST Feed for /concept/user/marciomr/DLs2008-08-21T00:42:00+02:00http://www.bibsonomy.org/bibtex/2bfb349cb3b76bbf08c033556be1f50a2/marciomrmarciomr2008-02-20T20:15:25+01:00inconsistency impresso DLs <span style="color:#555555;">Z. <a href="http://www.bibsonomy.org/author/Huang">Huang</a> and Frank van <a href="http://www.bibsonomy.org/author/Harmelen">Harmelen</a> and A. <a href="http://www.bibsonomy.org/author/ten Teije">ten Teije</a> </span><em>Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05), </em><em>page254--259. </em>(<em>2005</em>)Wed Feb 20 20:15:25 CET 2008Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05)254--259Reasoning with Inconsistent Ontologies2005inconsistency impresso DLs http://www.bibsonomy.org/bibtex/2443cb58ec8c8dc0e7e16ddc58e603583/marciomrmarciomr2008-02-20T20:09:52+01:00probability DLs impresso <span style="color:#555555;">Daphne <a href="http://www.bibsonomy.org/author/Koller">Koller</a> and Alon Y. <a href="http://www.bibsonomy.org/author/Levy">Levy</a> and Avi <a href="http://www.bibsonomy.org/author/Pfeffer">Pfeffer</a> </span><em>AAAI/IAAI, </em><em>page390-397. </em>(<em>1997</em>)Wed Feb 20 20:09:52 CET 2008AAAI/IAAI390-397P-CLASSIC: A Tractable Probablistic Description Logic.1997probability DLs impresso http://www.bibsonomy.org/bibtex/2b1cd9d49f01082eabd4aafee6460035d/marciomrmarciomr2008-02-20T20:09:44+01:00probability DLs impresso SHOQ <span style="color:#555555;">Rosalba <a href="http://www.bibsonomy.org/author/Giugno">Giugno</a> and Thomas <a href="http://www.bibsonomy.org/author/Lukasiewicz">Lukasiewicz</a> </span><em>JELIA, </em><em>volume2424ofLecture Notes in Computer Science, </em><em>page86-97. </em><em>Springer, </em>(<em>2002</em>)Wed Feb 20 20:09:44 CET 2008JELIAconf/jelia/200286-97Lecture Notes in Computer ScienceP-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web.24242002probability DLs impresso SHOQ dblphttp://www.bibsonomy.org/bibtex/2f698a4c8824990cc31a33a91ccda8484/marciomrmarciomr2008-02-20T20:09:36+01:00progams DLs probability <span style="color:#555555;">Thomas <a href="http://www.bibsonomy.org/author/Lukasiewicz">Lukasiewicz</a> </span><em>Int. J. Approx. Reasoning</em><em>45(2):288-307</em>(<em>2007</em>)Wed Feb 20 20:09:36 CET 2008Int. J. Approx. Reasoning2288-307Probabilistic description logic programs.452007progams DLs probability http://www.bibsonomy.org/bibtex/209f9b5524c1bd8d84c861a00a728e1a2/marciomrmarciomr2008-02-20T04:58:09+01:00semantic_web OWL OWL_API <span style="color:#555555;">Sean <a href="http://www.bibsonomy.org/author/Bechhofer">Bechhofer</a> and Raphael <a href="http://www.bibsonomy.org/author/Volz">Volz</a> and Phillip W. <a href="http://www.bibsonomy.org/author/Lord">Lord</a> </span><em>International Semantic Web Conference, </em><em>page659-675. </em>(<em>2003</em>)Wed Feb 20 04:58:09 CET 2008International Semantic Web Conference659-675Cooking the Semantic Web with the OWL API.2003semantic_web OWL OWL_API http://www.bibsonomy.org/bibtex/2b2af3887280af2a7db4f30a07ccc61cd/marciomrmarciomr2008-02-20T04:58:09+01:00DLs belief_revision debugging inconsistency <span style="color:#555555;">Peter <a href="http://www.bibsonomy.org/author/Haase">Haase</a> and Frank van <a href="http://www.bibsonomy.org/author/Harmelen">Harmelen</a> and Zhisheng <a href="http://www.bibsonomy.org/author/Huang">Huang</a> and Heiner <a href="http://www.bibsonomy.org/author/Stuckenschmidt">Stuckenschmidt</a> and York <a href="http://www.bibsonomy.org/author/Sure">Sure</a> </span><em>Proceedings of the Fourth International Semantic Web Conference (ISWC2005), </em><em>volume3729ofLNCS, </em><em>page353--367. </em><em>Springer, </em><em>NOV2005. </em>Wed Feb 20 04:58:09 CET 2008Proceedings of the Fourth International Semantic Web Conference (ISWC2005)NOV353--367LNCSA Framework for Handling Inconsistency in Changing Ontologies37292005DLs belief_revision debugging inconsistency http://www.bibsonomy.org/bibtex/237fc6d286d2cbd9d48dde76711839302/marciomrmarciomr2008-02-20T04:58:09+01:00DLs belief_revision inconsistency <span style="color:#555555;">Guilin <a href="http://www.bibsonomy.org/author/Qi">Qi</a> and Jeff Z. <a href="http://www.bibsonomy.org/author/Pan">Pan</a> </span><em>Proceedings of International Workshop on Ontology Dynamics (IWOD'07), </em><em>JUN2007. </em>Wed Feb 20 04:58:09 CET 2008Proceedings of International Workshop on Ontology Dynamics (IWOD'07)JUNAn Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies2007DLs belief_revision inconsistency http://www.bibsonomy.org/bibtex/2be592063c93e08d4cd3df89b75d538a7/marciomrmarciomr2008-02-20T04:58:09+01:00semi_revision DLs impresso belief_revision base_revision <span style="color:#555555;">Christian <a href="http://www.bibsonomy.org/author/Halaschek-Wiener">Halaschek-Wiener</a> and Yarden <a href="http://www.bibsonomy.org/author/Katz">Katz</a> and Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> </span><em>OWL: Experiences and Directions 2006, </em>(<em>2006</em>)Wed Feb 20 04:58:09 CET 2008OWL: Experiences and Directions 2006Belief Base Revision For Expressive Description Logics2006semi_revision DLs impresso belief_revision base_revision http://www.bibsonomy.org/bibtex/285c0ee2750208f8c9831c2550b618ddb/marciomrmarciomr2008-02-20T04:58:09+01:00belief_revision impresso DLs <span style="color:#555555;">Giorgos <a href="http://www.bibsonomy.org/author/Flouris">Flouris</a> and Dimitris <a href="http://www.bibsonomy.org/author/Plexousakis">Plexousakis</a> and Grigoris <a href="http://www.bibsonomy.org/author/Antoniou">Antoniou</a> </span><em>Proceedings of the 3rd European Starting AI Researcher Symposium (STAIRS-06), </em>(<em>2006</em>)Wed Feb 20 04:58:09 CET 2008Proceedings of the 3rd European Starting AI Researcher Symposium (STAIRS-06)On Generalizing the AGM Postulates2006belief_revision impresso DLs http://www.bibsonomy.org/bibtex/2a326d53957c21c524817046a4a95daa3/marciomrmarciomr2008-02-20T04:58:09+01:00OWL <span style="color:#555555;">Mike <a href="http://www.bibsonomy.org/author/Dean">Dean</a> and Gus <a href="http://www.bibsonomy.org/author/Schreiber">Schreiber</a> and Sean <a href="http://www.bibsonomy.org/author/Bechhofer">Bechhofer</a> and Frank van <a href="http://www.bibsonomy.org/author/Harmelein">Harmelein</a> and Jim <a href="http://www.bibsonomy.org/author/Hendler">Hendler</a> and Ian <a href="http://www.bibsonomy.org/author/Horrocks">Horrocks</a> and Deborah L. <a href="http://www.bibsonomy.org/author/McGuinness">McGuinness</a> and Peter F. <a href="http://www.bibsonomy.org/author/Patel-Schneider">Patel-Schneider</a> and Lynn Andrea <a href="http://www.bibsonomy.org/author/Stein">Stein</a> </span><em>W3C Recomendation, </em>(<em>2004</em>) <em>Dispon&#65533;vel em http://www.w3c.org/TR/owl-ref . </em>Wed Feb 20 04:58:09 CET 2008{W3C} RecomendationDispon�vel em http://www.w3c.org/TR/owl-ref{OWL} web onotology language reference2004OWL http://www.bibsonomy.org/bibtex/24d122c9e4367d39cd49a85031e16d8c0/marciomrmarciomr2008-02-20T04:58:09+01:00debugging DLs OWL <span style="color:#555555;">Aditya <a href="http://www.bibsonomy.org/author/Kalyanpur">Kalyanpur</a> and Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> and Evren <a href="http://www.bibsonomy.org/author/Sirin">Sirin</a> and James <a href="http://www.bibsonomy.org/author/Hendler">Hendler</a> </span><em>Journal of Web Semantics - Special Issue of the Semantic Web Track of WWW2005</em>(<em>2005</em>)Wed Feb 20 04:58:09 CET 2008Journal of Web Semantics - Special Issue of the {Semantic Web} Track of WWW20054Debugging Unsatisfiable Classes in {OWL} Ontologies32005debugging DLs OWL http://www.bibsonomy.org/bibtex/2ce2d8a9c16b6d2099134f6930298d548/marciomrmarciomr2008-02-20T04:58:09+01:00DLs belief_revision <span style="color:#555555;">Giorgos <a href="http://www.bibsonomy.org/author/Flouris">Flouris</a> </span><em>University of Crete, </em>(<em>2006</em>)Wed Feb 20 04:58:09 CET 2008On Belief Change and Ontology Evolution2006DLs belief_revision http://www.bibsonomy.org/bibtex/256079868a6f60dc61578334b5bed5a06/marciomrmarciomr2008-02-20T04:58:09+01:00belief_revision DLs <span style="color:#555555;">Giorgos <a href="http://www.bibsonomy.org/author/Flouris">Flouris</a> and Dimitris <a href="http://www.bibsonomy.org/author/Plexousakis">Plexousakis</a> and Grigoris <a href="http://www.bibsonomy.org/author/Antoniou">Antoniou</a> </span><em>In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, </em><em>Corfu, Greece, </em><em>May2005. </em>Wed Feb 20 04:58:09 CET 2008Corfu, GreeceIn Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense ReasoningMayUpdating Description Logics using the {A}{G}{M} Theory2005belief_revision DLs http://www.bibsonomy.org/bibtex/26ddb54c2d481630ef5b680811cbe3ba6/marciomrmarciomr2008-02-20T04:58:09+01:00DLs <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>Cambridge University Press, </em>(<em>2003</em>)Wed Feb 20 04:58:09 CET 2008The Description Logic Handbook2003DLs http://www.bibsonomy.org/bibtex/269e5e1d0a0c4cf5d4e8213f0036a7f4d/marciomrmarciomr2008-02-20T04:58:09+01:00DLs OWL <span style="color:#555555;">Ian <a href="http://www.bibsonomy.org/author/Horrocks">Horrocks</a> </span><em>Proc. of the 2nd International Semantic Web Conference (ISWC), </em>(<em>2003</em>)Wed Feb 20 04:58:09 CET 2008Proc. of the 2nd International {Semantic Web} Conference (ISWC)Reducing {OWL} entailment to description logic satisfiability2003DLs OWL http://www.bibsonomy.org/bibtex/291317a641c6a47c51996e419c56a7705/marciomrmarciomr2008-02-20T04:58:09+01:00DLs belief_revision <span style="color:#555555;">Giorgos <a href="http://www.bibsonomy.org/author/Flouris">Flouris</a> and Dimitris <a href="http://www.bibsonomy.org/author/Plexousakis">Plexousakis</a> and Grigoris <a href="http://www.bibsonomy.org/author/Antoniou">Antoniou</a> </span><em>In Proc. of the 10th International Workshop on Non-Monotonic Reasoning 2004 (NMR-04), </em><em>page171-179. </em><em>Westin Whistler Resort and Spa, Whistler BC, Canada, </em><em>June 6-82004. </em>Wed Feb 20 04:58:09 CET 2008Westin Whistler Resort and Spa, Whistler BC, CanadaIn Proc. of the 10th International Workshop on Non-Monotonic Reasoning 2004 (NMR-04)DBLP:conf/nmr/2004June 6-8171-179Generalizing the {A}{G}{M} postulates: preliminary results and applications.2004DLs belief_revision Artigos e livros que tenho impressohttp://www.bibsonomy.org/bibtex/2904350b36cd19fb730a700ea57910e8b/marciomrmarciomr2008-02-20T03:42:09+01:00semantics DLs web-services OWL-S planning impresso <span style="color:#555555;">Evren <a href="http://www.bibsonomy.org/author/Sirin">Sirin</a> and Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> </span><em>Semantic web services workshop at 3rd international semantic web conference (iswc2004), </em>(<em>2004</em>)Wed Feb 20 03:42:09 CET 2008Semantic web services workshop at 3rd international semantic web conference (iswc2004)Planning for Semantic Web Services2004semantics DLs web-services OWL-S planning impresso Artigos e livros que tenho impressohttp://www.bibsonomy.org/bibtex/2e8416fbc63e9396407395ccd75d8da21/marciomrmarciomr2008-02-20T03:42:09+01:00belief_revision impresso DLs <span style="color:#555555;">Giorgos <a href="http://www.bibsonomy.org/author/Flouris">Flouris</a> and Dimitris <a href="http://www.bibsonomy.org/author/Plexousakis">Plexousakis</a> and Grigoris <a href="http://www.bibsonomy.org/author/Antoniou">Antoniou</a> </span><em>ISWC 2005, </em><em>3729, </em><em>page353--367. </em><em>Springer-Verlang, </em>(<em>2005</em>)Wed Feb 20 03:42:09 CET 2008ISWC 20053729353--367LNCSOn Applying the {AGM} Theory to {DL}s and {OWL}2005belief_revision impresso DLs dblphttp://www.bibsonomy.org/bibtex/2e3db84386dd8c106f73dd4f5e99e95fd/marciomrmarciomr2008-02-20T03:42:09+01:00DLs debugging impresso <span style="color:#555555;">Stefan <a href="http://www.bibsonomy.org/author/Schlobach">Schlobach</a> and Ronald <a href="http://www.bibsonomy.org/author/Cornet">Cornet</a> </span><em>IJCAI, </em><em>page355--362. </em><em>Morgan Kaufmann, </em>(<em>2003</em>)Wed Feb 20 03:42:09 CET 2008IJCAIijcai2003355--362Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.2003DLs debugging impresso dblphttp://www.bibsonomy.org/bibtex/21b0c20bb5bb462a2e0c04c0c46df96d1/marciomrmarciomr2008-02-20T03:42:09+01:00debugging impresso DLs <span style="color:#555555;">Stefan <a href="http://www.bibsonomy.org/author/Schlobach">Schlobach</a> </span><em>JELIA, </em><em>volume3229ofLecture Notes in Computer Science, </em><em>page413--425. </em><em>Springer, </em>(<em>2004</em>)Wed Feb 20 03:42:09 CET 2008JELIAJelia2004413--425Lecture Notes in Computer ScienceExplaining Subsumption by Optimal Interpolation.32292004debugging impresso DLs