Description logic reasoning with syntactic updates

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4275 LNCS - I, Issue , 2006, Pages 722-737

  Halashek Wiener, Christian ^a   Parsia, Bijan ^b   Sirin, Evren ^a  

^a University of Maryland ^*  (United States)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STRUCTURES; GRAPH THEORY; INFORMATION ANALYSIS; PORTALS; SYNTACTICS; TELECOMMUNICATION SERVICES;

DESCRIPTION LOGIC (DL); LOGIC REASONING; SYNTACTIC UPDATES; WEB SERVICES;

FORMAL LOGIC;

EID: 33845420383     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11914853_44     Document Type: Conference Paper

References (26)

1. Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510-530, 1985.
2. F. Baader and B. Hollunder. Embedding defaults into terminological representation systems. J. Automated Reasoning, 14:149-180, 1995.
3. F. Baader and W. Nutt. Basic description logics. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 43-95. Cambridge University Press, 2003.
4. Jon Doyle. A truth maintenance system. Artificial Intelligence, 1979.
5. G. Flouris, D. Plexousakis, and G. Antoniou. On applying the agm theory to dis and owl. In 4th International Semantic Web Conference (ISWC 2005), 2005.
6. G. Flouris, D. Plexousakis, and G. Antoniou. Updating description logic using the agm theory. In 7th International Symposium on Logical Formalizations of Common sense Reasoning, 2005.
7. A. Gupta and I. Mumick. Materialized views: Techniques, implementation, and applications. In MIT press, 1999.
8. V. Haarslev and R. Moller. Description logic systems with concrete domains: Applications for the semantic web. In In Int. Workshop on KR meets Databases, 2003., 2003.
9. V. Haarslev and R. Möller. Incremental query answering for implementing document retrieval services. In Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, pages 85-94, 2003.
10. Christian Halaschek-Wiener, Aditya Kalyanpur, and Bijan Parsia. Extending tableau tracing for abox updates. In UMIACS Tech Report, 2006. http://www.mindswap.org/papers/2006/aboxTracingTR2006.pdf.
11. I. Horrocks. Implementation and optimisation techniques. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 313-355. Cambridge University Press, 2003.
12. I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In B. Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 199-204. Morgan Kaufmann, 2001.
13. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of the 6th Int. Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer-Verlag, 1999.
14. Ian Horrocks and Ulrike Sattler. A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005). Morgan Kaufman, 2005.
15. Aditya Kalyanpur. Debugging and repair of owl ontologies. In Ph.D. Dissertation, University of Maryland, College Park. http://www.mindswap.org/ papers/2006/AdityaThesis-DebuggingOWL.pdf.
16. Aditya Kalyanpur, Bijan Parsia, Evren Sirin, and James Hendler. Debugging unsatisfiable classes in owl ontologies. In Journal of Web Semantics - Special Issue of the Semantic Web Track of WWW2005, 2005.
17. L. Li and I. Horrocks. A software framework for matchmaking based on semantic web technology, 2003.
18. T. Liebig and O. Noppens. Ontotrack: Combining browsing and editing with reasoning and explaining for owl lite ontologies. In Proceedings of the 3rd International Semantic Web Conference (ISWC) 2004, Japan, November 2004.
19. H. Liu, C. Lutz, M. Milicic, and F. Wolter. Updating description logic aboxes. In International Conference of Principles of Knowledge Representation and Reasoning(KR), 2006.
20. Bernhard Nebel. Base revision operations and schemes: Semantics, representation, and complexity, 1994.
21. Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, and Katia Sycara. Semantic matching of web services capabilities. In The First International Semantic Web Conference, 2002.
22. Bijan Parsia and Evren Sirin. Pellet: An owl dl reasoner. In Third International Semantic Web Conference - Poster, 2004.
23. Mathieu Roger, Ana Simonet, and Michel Simonet. Toward updates in description logics. In International Workshop on Knowledge Representation meets Databases, 2002.
24. Evren Sirin, Bijan Parsia, and James Hendler. Composition-driven filtering and selection of semantic web services. IEEE Intelligent Systems, 19(4):42-49, 2004.
25. Katia Sycara, Massimo Paolucci, Anupriya Ankolekar, and Naveen Srinivasan. Automated discovery, interaction and composition of semantic web services. Journal of Web Semantics, 1(1):27-46, 2003.
26. Michael Uschold, Peter Clark, Fred Dickey, Casey Fung, Sonia Smith, Stephen Uczekaj Michael Wilke, Sean Bechhofer, and Ian Horrocks. A semantic infosphere. In Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, Proc. of the 2003 International Semantic Web Conference (ISWC 2003), number 2870 in Lecture Notes in Computer Science, pages 882-896. Springer, 2003.