Employing description logics in ambient intelligence for modeling and reasoning about complex situations

Journal of Ambient Intelligence and Smart Environments

Volumn 1, Issue 3, 2009, Pages 235-259

  Springer, Thomas ^a   Turhan, Anni Yasmin ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Description logics; Modeling context information; OWL DL; Reasoning services; Situation awareness

Indexed keywords

AMBIENT INTELLIGENCE; AMBIENT INTELLIGENCE SYSTEMS; CONTEXT INFORMATION; CURRENT SITUATION; DESCRIPTION LOGIC; DESCRIPTION LOGICS REASONING; INCOMPLETE KNOWLEDGE; ONTOLOGY LANGUAGE OWL; REASONING SYSTEM; RELIABLE RECOGNITION; SITUATION AWARENESS; SITUATION MODELING; SMART HOMES;

AUTOMATA THEORY; ONTOLOGY;

DATA DESCRIPTION;

EID: 78649842200     PISSN: 18761364     EISSN: None     Source Type: Journal    
DOI: 10.3233/AIS-2009-0032     Document Type: Article

References (56)

1. A. Agostini, C. Bettini, and D. Riboni. A performance evaluation of ontology-based context reasoning. In Proc. of Fifth Annual IEEE International Conference on Pervasive Computing and Communications - Workshops, pages 3-8. IEEE Computer Society, 2007.
2. C.B. Anagnostopoulos, Y. Ntarladimas, and S. Hadjiefthymiades. Situational computing: An innovative architecture with imprecise reasoning. Journal of Systems and Software, 80(12):1993-2014, 2007.
3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
4. F. Baader and P. Hanschke. A Schema for Integrating Concrete Domains into Concept Languages. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 452-457, Sydney, 1991.
5. F. Baader, C. Lutz, and B. Suntisrivaraporn. CEL-a polynomial-time reasoner for life science ontologies. In U. Furbach and N. Shankar, editors, Proc. of the 3rd Int. Joint Conf. on Automated Reasoning (IJCAR-06), volume 4130 of Lecture Notes In Artificial Intelligence, pages 287-291. Springer- Verlag, 2006. CEL download page: http://lat.inf. tu-dresden.de/systems/cel/.
6. F. Baader and W. Nutt. [3], chapter Basic Description Logics, pages 43-96. Cambridge University Press, 2003.
7. F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69:5-40, 2001.
8. P. Baker, C. Goble, S. Bechhofer, N. Paton, R. Stevens, and A. Brass. An ontology for bioinformatics applications. Bioinformatics, 15(6):510-520, 1999.
9. S. Bechhofer. The dig description logic interface: Dig/1.1. Technical report, University of Manchester, 2003. http://dl-web.man.ac.uk/dig/2003/02/ interface.pdf.
10. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, and L.A. Stein. OWL web ontology language reference. W3C Recommendation, February 2004. http://www.w3.org/TR/owl-ref/.
11. T. Berners-Lee, J. Hendler, and O. Lassila. The SemanticWeb. Scientific American, 284(5):34-43, 2001.
12. R. Brachman and H. Levesque. Readings in Knowledge Representation. Morgan Kaufmann, Los Altos, 1985.
13. G. Chen, M. Li, and D. Kotz. Design and implementation of a large-scale context fusion network. pages 246 - 255, Aug. 2004.
14. H. Chen, F. Perich, T. Finin, and A. Joshi. SOUPA: Standard Ontology for Ubiquitous and Pervasive Applications. In International Conference on Mobile and Ubiquitous Systems: Networking and Services, Boston, MA, August 2004.
15. E. Christopoulou, C. Goumopoulos, and A. Kameas. An ontology-based context management and reasoning process for ubicomp applications. In sOc-EUSAI '05: Proceedings of the 2005 joint conference on Smart objects and ambient intelligence, pages 265-270, New York, NY, USA, 2005. ACM Press.
16. R. Cornet and A. Abu-Hanna. Using description logics for managing medical terminologies. In P.B.M. Dojat, E. Keravnou, editor, Artificial Intelligence in Medicine: 9th Conference on Artificial Intelligence, in Medicine in Europe (AIME 2003), Lecture Notes in Computer Science, pages 61-70. Springer, 2003.
17. R. Cote, D. Rothwell, J. Palotay, R. Beckett, and L. Brochu. The systematized nomenclature of human and veterinary medicine. Technical report, SNOMED International, Northfield, IL: College of American Pathologists, 1993.
18. A.K. Dey, D. Salber, and G.D. Abowd. A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Computer Interaction (HCl) Journal, 16(2-4):97-166, 2001.
19. T. Gu, H. Pung, and D. Zhang. Toward an OSGi-based infrastructure for context-aware applications. IEEE Pervasive Computing, 3(4):66-74, Oct.-Dec. 2004.
20. V. Haarslev, R. Möller, and M. Wessel. Querying the semantic web with racer + nrql. In In Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04, 2004.
21. V. Haarslev and R. Möller. Racer: A core inference engine for the semantic web. In Proc. of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), located with ISWC, pages 27-36, 2003.
22. V. Haarslev, R. Möller, and M. Wessel. RacerPro reasoner, 2005. See http://www.racer-systems.com/.
23. C. Haase and C. Lutz. Complexity of subsumption in the EL family of description logics: Acyclic and cyclic tboxes. In M. Ghallab, C.D. Spyropoulos, N. Fakotakis, and N. Avouris, editors, Proc. of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, pages 25-29. IOS Press, 2008.
24. I. Horrocks, P. Patel-Schneider, and F. van Harmelen. From SHIQand RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
25. I. Horrocks and U. Sattler. A tableau decision procedure for SHOIQ. J. of Automated Reasoning, 39(3):249-276, 2007.
26. I.R. Horrocks. Using an expressive description logic: Fact or fiction. pages 636-647, 1998.
27. P. Korpipää, J. Mäntyjärvi, J. Kela, H. Kernen, and E.-J. Malm. Managing context information in mobile devices. IEEE Pervasive Computing, 2(3):42-51, 2003.
28. M. Luther, Y. Fukazawa, M. Wagner, and S. Kurakake. Situational reasoning for task-oriented mobile service recommendation. The Knowledge Engineering Review, 23(Special Issue 01):7-19, 2008.
29. B. Motik and U. Sattler. A Comparison of Techniques for Querying Large Description Logic ABoxes. In M. Hermann and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, volume 4246 of Lecture Notes in Computer Science, pages 227-241, Phnom Penh, Cambodia, November 13-17 2006. Springer. KAON2 download page: http://kaon2.semanticweb.org/.
30. B. Motik, R. Shearer, and I. Horrocks. Optimized Reasoning in Description Logics using Hypertableaux. Lecture Notes in Artificial Intelligence, pages 67-83, Bremen, Germany, July 17-20 2007. Springer. (Pubitemid 47545104)
31. B. Mrohs, M. Luther, R. Vaidya, M. Wagner, S. Steglich, W. Kellerer, and S. Arbanowski. OWL-SF-A distributed semantic service framework. In Proc. of theWorkshop on Context Awareness for Proactive Systems (CAPS'05), Helsinki, pages 67-77, 2005.
32. B. Parsia and K. Clark. Pellet system down load page, 2009. http://clarkparsia.com/pellet/download, last visited 14th Apr. 2009.
33. V. Peltonen, J. Tuomi, A. Klapuri, J. Huopaniemi, and T. Sorsa. Computational auditory scene recognition. In In IEEE IntŠl Conf. on Acoustics, Speech, and Signal Processing, pages 1941-1944, 2002.
34. M.R. Quillian. Word concepts: A theory and simulation of some basic capabilities. Behavioral Science, 12:410-430, 1967. Republished in [12].
35. Racer Systems GmbH & Co. KG. RacerPro reference manual version 1.9, Dec. 2005, 2005. http://www.racer-systems.com/products/ racerpro/reference- manual-1-9.pdf.
36. Racer Systems GmbH & Co. KG. RacerPro User's guide version 1.9, Dec. 2005, 2005. http://www. racer-systems.com/products/racerpro/ users-guide-1-9.pdf.
37. C. Ramos, J.C. Augusto, and D. Shapiro. Ambient intelligence - the next step for artificial intelligence. IEEE Intelligent Systems, 23(2):15-18, March-April 2008.
38. A. Ranganathan and R. Campbell. An infrastructure for context-awareness based on first order logic. Personal and Ubiquitous Computing, (7):353-364, 2003.
39. A. Rector. Medical informatics. In [3], pages 406-426. Cambridge University Press, 2003.
40. S. Schulz, B. Suntisrivaraporn, and F. Baader. SNOMED CT's problem list: Ontologists' and logicians' therapy suggestions. In Proceedings of The Medinfo 2007 Congress, Studies in Health Technology and Informatics (SHTI-series). IOS Press, 2007.
41. N. Shadbolt. Ambient intelligence. IEEE Intelligent Systems, 18(4):2-3, 2003.
42. K. Sheikh, M. Wegdam, and M. van Sinderen. Middleware support for quality of context in pervasive context-aware systems. In PERCOMW '07: Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops, pages 461-466, Washington, DC, USA, 2007. IEEE Computer Society.
43. E. Sirin and B. Parsia. Pellet: An OWL DL reasoner. In V. Haarslev and R. Möller, editors, Proc. of the 2004 Description Logic Workshop (DL 2004), number 104 in CEUR Workshop, 2004. See also http://www.mindswap.org/ 2003/pellet/index.shtml.
44. E. Sirin and B. Parsia. Pellet system description. In B. Parsia, U. Sattler, and D. Toman, editors, Description Logics, volume 189 of CEUR Workshop Proceedings. CEUR-WS.org, 2006.
45. J.F. Sowa, editor. Principles of Semantic Networks. Morgan Kaufmann, Los Altos, 1991.
46. T. Springer, K. Kadner, F. Steuer, and M. Yin. Middleware support for context-awareness in 4G environments. In World of Wireless, Mobile and Multimedia Networks, 2006. WoWMoM 2006. International Symposium on a, pages 203-211, 26-29 June 2006.
47. T. Springer, P. Wustmann, I. Braun, W. Dargie, and M. Berger. A comprehensive approach for situation-awareness based on sensing and reasoning about context. In F.E. Sandnes, Y. Zhang, C. Rong, L.T. Yang, and J. Ma, editors, UIC, volume 5061 of Lecture Notes in Computer Science, pages 143-157. Springer, 2008.
48. V. Stankovski and J. Trnkoczy. Application of decision trees to smart homes. In Designing Smart Homes, volume 4008 of Lecture Notes in Computer Science, pages 132-145. Springer Berlin / Heidelberg, 2006.
49. T. Strang and C. Linnhoff-Popien. A context modeling survey. In In: Workshop on Advanced Context Modelling, Reasoning and Management, UbiComp 2004 - The Sixth International Conference on Ubiquitous Computing, Nottingham/England, 2004.
50. S. Tobies. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. Journal of Artificial Intelligence Research, 12:199-217, May 2000.
51. D. Tsarkov and I. Horrocks. FaCT++ description logic reasoner: System description. In Proc. of the 3rd Int. Joint Conf. on Automated Reasoning (IJCAR-06), Lecture Notes in Computer Science, pages 292-297, 2006. FaCT++ download page: http://owl.man.ac.uk/factplusplus/.
52. A.-Y. Turhan, T. Springer, and M. Berger. Pushing doors for modeling contexts with OWL DL - a case study. In J. Indulska and D. Nicklas, editors, Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06), pages 13- 17. IEEE Computer Society, March 2006.
53. M.Weiser. The Computer for the 21st Century. Scientific American, pages 66-75, Sep 1991.
54. M. Wessel, M. Luther, and M. Wagner. The difference a day makes - recognizing important events in daily context logs. In P. Bouquet, J. Euzenat, C. Ghidini, D.L. McGuinness, L. Serafini, P. Shvaiko, and H. Wache, editors, Proc. of the International Workshop on Contexts and Ontologies: Representation and Reasoning (C&O:RR), volume 298 of CEUR Workshop Proceedings. CEUR-WS.org, 2007.
55. K. Wolstencroft, A. Brass, I. Horrocks, P. Lord, U. Sattler, R. Stevens, and D. Turi. A little semantic web goes a long way in biology. In Proc. of the 2005 International Semantic Web Conference (ISWC 2005), number 3729 in Lecture Notes in Computer Science, pages 786-800. Springer, 2005.
56. K. Wolstencroft, P.W. Lord, L. Tabernero, A. Brass, and R. Stevens. Protein classification using ontology classification. In In Proceedings 14th International Conference on Intelligent Systems for Molecular Biology ISMB'06 (Supplement of Bioinformatics), pages 530-538, 2006.