A formal ontology reasoning with individual optimization: A realization of the Semantic Web

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

Volumn 3806 LNCS, Issue , 2005, Pages 119-132

  Pothipruk, Pakornpong ^a   Governatori, Guido ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; FORMAL LOGIC; INFERENCE ENGINES; OPTIMIZATION; SEMANTICS; WORLD WIDE WEB;

DATA PAGES; DESCRIPTION LOGICS; FORMAL ONTOLOGY REASONING; INFERENCE ALGORITHMS;

INFORMATION RETRIEVAL SYSTEMS;

EID: 33744816192     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11581062_10     Document Type: Conference Paper

References (15)

1. J. Akahani, K. Hiramatsu, and K. Kogure. Coordinating heterogeneous information services based on approximate ontology translation. In Proceedings of AAMAS-2002 Workshop on Agentcities: Challenges in Open Agent Systems, pages 10-14, 2002.
2. Y. Arens, C. Hsu, and C. A. Knoblock. Query processing in the sims information mediator. Advanced Planning Technology, 1996.
3. T. Berners-Lee. Weaving the Web : the Original Design and Ultimate Destiny of the World Wide Web by its Inventor. HarperSanFrancisco, San Francisco, 1999.
4. F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR-91), pages 151-162, Massachusetts, 1991.
5. F. M. Donini and F. Massacci. Exptime tableaux for ALC. Artificial Intelligence, 124(1):87-138, 2000.
6. C. H. Goh. Representing and Reasoning about Semantic Conflicts in Heterogeneous Information Sources. PhD thesis, MIT, 1997.
7. A. Goodchild. Database Discovery in the Organizational Environment. PhD thesis, University of Queensland, 1998.
8. V. Haarslev and R. Möller. Optimization strategies for instance retrieval. In Proceedings of the International Workshop on Description Logics (DL 2002), 2002.
9. I. Horrocks, L. Li, D. Turi, and S. Bechhofer. The instance store: Description logic reasoning with large numbers of individuals. In International Workshop on Description Logics (DL 2004), pages 31-40, 2004.
10. D. L. McGuinness, R. Fikes, L. A. Stein, and J. Hendler. Daml-ont: An ontology language for the semantic web. In D. Fensel, J. Hendler, H. Lieberman, and W. Wahlster, editors, Spinning the Semantic Web: Bringing the World Wide Web to its Full Potential. MIT Press, 2003.
11. st IFCIS: International Conference on Cooperative Information Systems (CoopIS '96), 1996.
12. J. Z. Pan and I. Horrocks. Rdfs(fa): A dl-ised sub-language of rdfs. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003.
13. H. Stuckenschmidt. Query processing on the semantic web. Künstliche Intelligenz, 17, 2003.
14. S. Tessaris. Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, University of Manchester, 2001.
15. H. Wache, T. Vögele, U. Visser, H. Stuckenschmidt, G. Schuster, H. Neumann, and S. Hübner. Ontology-based integration of information - a survey of existing approaches. In Proceedings of the IJCAI-01 Workshop: Ontologies and Information Sharing, pages 108-117, 2001.