Representing the spatial relations in the semantic web ontologies

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

Volumn 2903, Issue , 2003, Pages 77-87

  Kong, Hyunjang ^a   Jung, Kwanho ^a   Choi, Junho ^a   Kim, Wonpil ^a   Kim, Pankoo ^a   Park, Jongan ^a  

^a Chosun University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIRDS; DATA DESCRIPTION; ONTOLOGY; SEMANTICS; WORLD WIDE WEB;

DESCRIPTION LOGIC; IN-BUILDINGS; RDF SCHEMAS; SEMANTIC WEB ONTOLOGIES; SPATIAL RELATIONS; WEB ONTOLOGY; ONTOLOGY; SEMANTIC WEB;

SEMANTIC WEB; CLASSIFICATION (OF INFORMATION);

EID: 7444266915     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24581-0_7     Document Type: Conference Paper

References (26)

1. Peter F. Patel-Schneider, Patrick Hayes, Ian Horrocks, “OWL Web Ontology Language Semantics and Abstract Syntax, W3C Working Draft 31 March 2003”, http://www.w3.org/TR/2003/WD-owl-semantics-20030331.
2. D. Brickley, R. Guha (eds.), “Resource Description Framework (RDF) Schema Specification, W3C Candidate Recommendation 27 March 2000, http://www.w3.org/TR/2000/CR-rdf-schema-20000327.
3. T. Berners-Lee, J. Hendler, and O. Lassila, “The Semantic Web”, Scientific Am., vol.284, no.5, May 2001, pp.34-43.
4. F. Wolter and M. Zakharyaschev. “Modal description Logics: Modalizang roles”, Fundamenta Informaticae, 39:411-438, 1999.
5. V. Haarslev, C. Lutz, and R. Moller, “A description logic with concrete domains and a role-forming predicate operator,” Journal of Logic and Computation 9(S), pp. 351-384, 1999
6. Yongjuan Zou, “Integrating concrete Domains into Description Logic: A Survey”, April 23, 2003.
7. V. Haarslev, C. Lutz, and R. Moller, “Foundations of spatioterminological reasoning with description logics,” Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning(KR '98), pp. 112-123, June 1998
8. V. Haarslev, R. Moller, and M. Wessel, “Visual spatial query languages: A semantics using description logic,” Diagrammatic Representation and Reasoning, 2000
9. Cohn, Z. Cui, and D. Randell, “A spatial logic based on regions and connection,” Proc. Third International Conference on Principles of Knowledge Representation and Reasoning(KR '92), 1992
10. Nebel and J. Renz, “On the complexity of qualitative spatial reasoning:A maximal tractable fragment of the region connection calculus,” Artificial Intelligence, 1992
11. Guarino, N, and Giaretta, P., “Ontologies and Knowledge bases: towards a terminological clarification”, In N. Mars, Ed. Toward Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing 1995, PP. 25-32.
12. Ankolekar, F. Huch and K. Sycara, “Concurrent Semantics for the Web Services Specification Language Daml-S”, In Proc. of the Coordination 2002 conf., 2002.
13. W. Kim, H. Kong, K. Oh, Y. Moon and P. Kim, “Concept Based Image Retrieval Using the Domain Ontology”, Computational Science and Its Applicatons(ICCSA 2003), PP 401-410, 2003.
14. Chandrasekaran, J. Josephson, and R. Benjamins, “What Are Ontologies, and Why do we Need Them?”, IEEE Intelligent Systems, 14,1:20-26, 1999.
15. F. van Harmelen, P.F. Patel-Schneider, and I. Horrocks, “A Modal-Theoretic Semantics for DAML+OIL”, http://www.daml.org, March 2001.
16. Stephan Tobies. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. of Artificial Intelligence Research, 12:199-217, May 2000.
17. M. Morurovic, F. Wolter, and M. Zakharyaschev. Modalized description logic – how much? Technical report, Computer Science Department, University of Leipzig, Germany, 2000.
18. E. Franconi, G. De Giacomo, R.M. MacGregor, W. Nutt, C. A. Welty, and F. Sebastiani, editors. Collected Papers from the International Description Logics Workshop (DL'98). CEUR, May 1998.
19. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
20. Horrocks and G. Gough. Description logics with transitive roles. In M.-C. Rousset, R. Brachmann, F. Donini, E. Franconi, I. Horrocks, and A. Levy, editors, Proceedings of the InternationalWorkshop on Description Logics, pages 25–28, Gif sur Yvette, France, 1997. Université Paris-Sud.
21. Franz Baader and Ralf Küsters. Matching in description logics with existential restrictions. In Proc. of the 1999 Description Logic Workshop (DL'99).
22. Franz Baader and Paliath Narendran. Unification of concepts terms in description logics. J. of Symbolic Computation, 31(3):277–305, 2001.
23. Diego Calvanese. Finite model reasoning in description logics. In Luigia C. Aiello, John Doyle, and Stuart C. Shapiro, editors, Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'96), pages 292–303. Morgan Kaufmann, Los Altos, 1996.
24. Horrocks and Patel-Schneider, 1998d] Ian Horrocks and Peter F. Patel-Schneider. Optimising propositional modal satisfiability for description logic subsumption. In Proc. of the 4th Int. Conf. on Artificial Intelligence and Symbolic Computation (AISC'98), 1998.
25. Ulrich Hustadt and Renate A. Schmidt. Issues of decidability for description logics in the framework of resolution. In R. Caferra and G. Salzer, editors, Automated Deduction in Classical and Non-Classical Logics, volume 1761 of Lecture Notes in Artificial Intelligence, pages 191–205. Springer, 2000.
26. Daphne Koller, Alon Levy, and Avi Pfeffer. P-CLASSIC: A tractable probabilistic description logic. In Proc. of the 14th Nat. Conf. on Artificial Intelligence(AAAI'97), pages 390–397. AAAI Press/The MIT Press, 1997.