BibSonomy :: concept  :: user :: marciomr ::

bookmarks

publications

   

• Reasoning with Inconsistent Ontologies
  Z. Huang and Frank van Harmelen and A. ten Teije Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05), page254--259. (2005)
  to impresso DLs inconsistency by marciomr and 5 other people on Feb 20, 2008, 8:15 PM
  BibTeX 
• P-CLASSIC: A Tractable Probablistic Description Logic.
  Daphne Koller and Alon Y. Levy and Avi Pfeffer AAAI/IAAI, page390-397. (1997)
  to impresso DLs probability by marciomr and 1 other person on Feb 20, 2008, 8:09 PM
  URL | BibTeX 
• P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web.
  Rosalba Giugno and Thomas Lukasiewicz JELIA, volume2424ofLecture Notes in Computer Science, page86-97. Springer, (2002)
  to SHOQ impresso DLs probability by marciomr and 1 other person on Feb 20, 2008, 8:09 PM
  URL | BibTeX 
• Probabilistic description logic programs.
  Thomas Lukasiewicz Int. J. Approx. Reasoning45(2):288-307(2007)
  to probability DLs progams by marciomr and 1 other person on Feb 20, 2008, 8:09 PM
  URL | BibTeX 
• Cooking the Semantic Web with the OWL API.
  Sean Bechhofer and Raphael Volz and Phillip W. Lord International Semantic Web Conference, page659-675. (2003)
  to OWL OWL_API semantic_web by marciomr and 4 other people on Feb 20, 2008, 4:58 AM
  BibTeX 
• A Framework for Handling Inconsistency in Changing Ontologies
  Peter Haase and Frank van Harmelen and Zhisheng Huang and Heiner Stuckenschmidt and York Sure Proceedings of the Fourth International Semantic Web Conference (ISWC2005), volume3729ofLNCS, page353--367. Springer, NOV2005.
  to belief_revision DLs debugging inconsistency by marciomr and 6 other people on Feb 20, 2008, 4:58 AM
  URL | BibTeX 
• An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies
  Guilin Qi and Jeff Z. Pan Proceedings of International Workshop on Ontology Dynamics (IWOD'07), JUN2007.
  to DLs inconsistency belief_revision by marciomr on Feb 20, 2008, 4:58 AM
  BibTeX 
• Belief Base Revision For Expressive Description Logics
  Christian Halaschek-Wiener and Yarden Katz and Bijan Parsia OWL: Experiences and Directions 2006, (2006)
  to belief_revision semi_revision DLs base_revision impresso by marciomr on Feb 20, 2008, 4:58 AM
  URL | BibTeX 
• On Generalizing the AGM Postulates
  Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou Proceedings of the 3rd European Starting AI Researcher Symposium (STAIRS-06), (2006)
  to DLs belief_revision impresso by marciomr on Feb 20, 2008, 4:58 AM
  BibTeX 
• OWL web onotology language reference
  Mike Dean and Gus Schreiber and Sean Bechhofer and Frank van Harmelein and Jim Hendler and Ian Horrocks and Deborah L. McGuinness and Peter F. Patel-Schneider and Lynn Andrea Stein W3C Recomendation, (2004) Dispon�vel em http://www.w3c.org/TR/owl-ref .
  to OWL by marciomr on Feb 20, 2008, 4:58 AM
  BibTeX 
• Debugging Unsatisfiable Classes in OWL Ontologies
  Aditya Kalyanpur and Bijan Parsia and Evren Sirin and James Hendler Journal of Web Semantics - Special Issue of the Semantic Web Track of WWW2005(2005)
  to DLs OWL debugging by marciomr and 1 other person on Feb 20, 2008, 4:58 AM
  BibTeX 
• On Belief Change and Ontology Evolution
  Giorgos Flouris University of Crete, (2006)
  to belief_revision DLs by marciomr and 1 other person on Feb 20, 2008, 4:58 AM
  BibTeX 
• Updating Description Logics using the AGM Theory
  Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, May2005.
  to belief_revision DLs by marciomr on Feb 20, 2008, 4:58 AM
  BibTeX 
• The Description Logic Handbook
  Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider (eds.). Cambridge University Press, (2003)
  to DLs by marciomr and 2 other people on Feb 20, 2008, 4:58 AM
  BibTeX 
• Reducing OWL entailment to description logic satisfiability
  Ian Horrocks Proc. of the 2nd International Semantic Web Conference (ISWC), (2003)
  to DLs OWL by marciomr on Feb 20, 2008, 4:58 AM
  URL | BibTeX 
• Generalizing the AGM postulates: preliminary results and applications.
  Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou In Proc. of the 10th International Workshop on Non-Monotonic Reasoning 2004 (NMR-04), page171-179. Westin Whistler Resort and Spa, Whistler BC, Canada, June 6-82004.
  to DLs belief_revision by marciomr and 1 other person on Feb 20, 2008, 4:58 AM
  BibTeX 
• A Generic Framework for Description Logics with Uncertainty.
  Volker Haarslev and Hsueh-Ieng Pai and Nematollaah Shiri ISWC-URSW, page77--86. (2005)
  to RACER DLs impresso by marciomr and 1 other person on Feb 20, 2008, 3:42 AM
  URL | BibTeX 
• Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.
  Volker Haarslev and Martina Timmann and Ralf Möller Description Logics, volume49ofCEUR Workshop Proceedings, CEUR-WS.org, (2001)
  to DLs tableau RACER impresso by marciomr on Feb 20, 2008, 3:42 AM
  URL | BibTeX 
• Explanation of Terminological Reasoning: A Preliminary Report.
  Stefan Schlobach and Ronald Cornet Description Logics, volume81ofCEUR Workshop Proceedings, CEUR-WS.org, (2003)
  to DLs debugging impresso by marciomr and 1 other person on Feb 20, 2008, 3:42 AM
  URL | BibTeX 
• Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.
  Stefan Schlobach and Ronald Cornet IJCAI, page355--362. Morgan Kaufmann, (2003)
  to debugging DLs impresso by marciomr and 2 other people on Feb 20, 2008, 3:42 AM
  URL | BibTeX