Closed world reasoning in the Semantic Web through epistemic operators

CEUR Workshop Proceedings

Volumn 188, Issue , 2005, Pages

  Grimm, Stephan ^a   Motik, Boris ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DEFAULT RULE; DESCRIPTION LOGIC; INCOMPLETE KNOWLEDGE; INTEGRITY CONSTRAINTS; OPEN WORLD; OPEN WORLD ASSUMPTION; REASONING IN THE SEMANTIC WEB;

DATA DESCRIPTION;

BIRDS;

EID: 84883486772     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. G. Antoniou. Nonmonotonic Reasoning. MIT Press, 1997.
2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, January 2003.
3. F.M. Donini, D. Nardi, and R. Rosati. Description logics of minimal knowledge and negation as failure. ACM Transactions on Comput. Logic, 3(2): 177-225, 2002.
4. O. Etzioni, K. Golden, and D. Weld. Tractable Closed World Reasoning with Updates. In Proc. KR-2004, 1994.
5. S. Grimm, B. Motik, and C. Preist. Variance in e-business service discovery. In Proc. 1st Intl. Workshop SWS'2004 at ISWC 2004, November 2004.
6. U. Hustadt. Do we need the closed-world assumption in knowledge representation. In F. Baader, M. Buchheit, M. Jeusfeld, and W. Nutt, editors, Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation Meets Databases (KRDB'94), volume D-94-11 of Document, pages 24-26. DFKI.
7. V. Kolovski, B. Parsia, Y. Katz, and J. Hendler. Representing Web Service Policies in OWL-DL. To appear in Proc. 4th Intern. Semantic Web Conf. (ISWC), 2005.
8. H. Lausen, J. de Bruijn, A. Polleres, and D. Fensel. Wsml - a language framework for semantic web services. In W3C Rules Workshop, Washington DC, USA, April 2005.
9. P. F. Patel-Schneider, P. Hayes, I. Horrocks, and F. van Harmelen. OWL Web Ontology Language; Semantics and Abstract Syntax, W3C Candidate Recommendation. http://www.w3.org/TR/owl-semantics/, November 2002.
10. A. Rector, N. Drummond, M. Horridge, J. Rogers, H. Knublauch, R. Stevens, H. Wang, and C. Wroe. Owl pizzas: Common errors & common patterns from practical experience of teaching owl-dl. In Proc. of the Eleventh Intern. Conf. on World Wide Web, pages 89-98, 2002.
11. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(81-132), 1980.
12. R. Reiter and G. Criscuolo. On interacting defaults. In Proc. IJCAI'87, pages 94-100, San Francisco, CA, USA, 1987. Morgan Kaufmann Publishers Inc.