BibSonomy publications for /concept/user/marciomr/DLsWed Feb 20 20:15:25 CET 2008Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05)254--259Reasoning with Inconsistent Ontologies2005impresso inconsistency DLs Wed Feb 20 20:09:52 CET 2008AAAI/IAAI390-397P-CLASSIC: A Tractable Probablistic Description Logic.1997probability DLs impresso 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 impresso SHOQ DLs Wed Feb 20 20:09:36 CET 2008Int. J. Approx. Reasoning2288-307Probabilistic description logic programs.452007DLs progams probability Wed Feb 20 04:58:09 CET 2008International Semantic Web Conference659-675Cooking the Semantic Web with the OWL API.2003OWL OWL_API semantic_web 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 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 Ontologies2007belief_revision DLs inconsistency Wed Feb 20 04:58:09 CET 2008OWL: Experiences and Directions 2006Belief Base Revision For Expressive Description Logics2006base_revision semi_revision belief_revision DLs impresso Wed Feb 20 04:58:09 CET 2008Proceedings of the 3rd European Starting AI Researcher Symposium (STAIRS-06)On Generalizing the AGM Postulates2006DLs impresso belief_revision Wed Feb 20 04:58:09 CET 2008{W3C} RecomendationDispon�vel em http://www.w3c.org/TR/owl-ref{OWL} web onotology language reference2004OWL Wed Feb 20 04:58:09 CET 2008Journal of Web Semantics - Special Issue of the {Semantic Web} Track of WWW20054Debugging Unsatisfiable Classes in {OWL} Ontologies32005OWL DLs debugging Wed Feb 20 04:58:09 CET 2008On Belief Change and Ontology Evolution2006belief_revision DLs 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 Wed Feb 20 04:58:09 CET 2008The Description Logic Handbook2003DLs Wed Feb 20 04:58:09 CET 2008Proc. of the 2nd International {Semantic Web} Conference (ISWC)Reducing {OWL} entailment to description logic satisfiability2003DLs OWL 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.2004belief_revision DLs Wed Feb 20 03:42:09 CET 2008Semantic web services workshop at 3rd international semantic web conference (iswc2004)Planning for Semantic Web Services2004DLs semantics OWL-S web-services impresso planning Wed Feb 20 03:42:09 CET 2008ISWC 20053729353--367LNCSOn Applying the {AGM} Theory to {DL}s and {OWL}2005belief_revision DLs impresso Wed Feb 20 03:42:09 CET 2008IJCAIijcai2003355--362Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.2003debugging impresso DLs Wed Feb 20 03:42:09 CET 2008JELIAJelia2004413--425Lecture Notes in Computer ScienceExplaining Subsumption by Optimal Interpolation.32292004impresso DLs debugging