Description de l’implémentation des scénarii
B.2 Implémentation des scénarii du modèle NKRL
Dans ce paragraphe, nous présentons en détail les gabarits des règles d’hypo-thèses et de transformations NKRL utilisées pour la reconnaissance du contexte non-observable “Situation urgente”, que nous avions mise en œuvre. Pour ce faire, nous rappelons ici que le symbole NLDescription donne une description en langage naturel d’un template (gabarit). Par ailleurs, un rôle ou une variable définie entre crochets ([]) est considéré(e) comme optionnel(le), tandis que les autres (variables ou rôles) sont obligatoires. Les variables var1, ... ,var10 représentent des contraintes permettant de vérifier que les valeurs assignées à chaque variable lors de la créa-tion d’une occurrence de prédicat sont spécifiques aux termes (concept, instances) utilisés dans le composant définitionnel. Ainsi, les contraintes définies dans chaque template de l’ontologie HTemp sont associées aux concepts définis dans l’ontologie
NLDescription : ’Creation of Generic Entities, Elements, Ornaments etc.” PREDICATE : PRODUCE
SUBJ var1 :[(var2)] OBJ var3
[SOURCE var4 :[(var5)]] [BENF var6 :[(var7)]]
[MODAL var8] [TOPIC var9] [CONTEXT var10 ] {[modulators] !=abs} {[temporal attributes]} var1 =<human_being_or_social_body>
var2 =<location_>|<pseudo_sortal_geographical>
var3 =<artefact_>|<information_content>|<internet_location>
var4 =<human_being_or_social_body>
var5 =<location_>|<pseudo_sortal_geographical>
var6 =<human_being_or_social_body>
var7 =<location_>|<pseudo_sortal_geographical>
var8 =<artefact_>|<activity_>|<process_>|<temporal_development> var9 =<physical_appearance>|<situation_>
var10 =<situation_>|<symbolic_label>
Table B.1 – Structure du template PRODUCE
B.2.1 Gabarit PRODUCE
Ce gabarit est utilisé dans la requête pour déterminer l’initiateur de l’événement correspondant au déclenchement de l’alarme, tableau B.1. Il est également utilisé dans la condition 3 de la règle d’hypothèse visant à apporter des précisions sur le contenu du message émis par le robot à l’attention de JOHN_.
B.2.2 Gabarit OWN : CONTROL
Ce gabarit est utilisé dans la condition 1 de la règle d’hypothèse et dans l’anté-cédent de la règle de transformation 1, tableau B.2.
B.2.3 Gabarit OWN : CompoundProperty
Ce gabarit est utilisé dans la condition 4 de la règle d’hypothèse et dans le conséquent 2 de la règle de transformation 1, tableau B.3.
B.2.4 Gabarit Behave
Ce gabarit est utilisé dans l’antécédent de la règle de transformation 2, tableau
NLDescription : ’Be in Control of Someone/Something’.” PREDICATE : OWN
SUBJ var1 :[(var2)] OBJ var3
[SOURCE var4 :[(var5)]] [BENF var6 :[(var7)]]
[MODAL var8]
TOPIC var9
[CONTEXT var10]
{[modulators] !=abs} {[temporal attributes]}
var1 =<country_>|<human_being_or_social_body> var2 =<location_>|<pseudo_sortal_geographical> var3 =<control_>
var4 =<country_>|<human_being_or_social_body> var5 =<location_>|<pseudo_sortal_geographical> var6 =<country_>|<human_being_or_social_body> var7 =<location_>|<pseudo_sortal_geographical> var8 =<activity_>|<process_>|<war_>
var9 =<country_>|<human_being_or_social_body>|<market_sector> var10 =<situation_>|<symbolic_label>
TableB.2 – Structure du template OWN : CONTROL
NLDescription : ’ Behave Templates’ PREDICATE : BEHAVE
SUBJ var1 :[(var2)] OBJ var3 :[(var4)] [SOURCE var5 :[(var6)]] [BENF var7 :[(var8)]]
[MODAL var9] [TOPIC var10] [CONTEXT var11] {[modulators] !=abs} {[temporal attributes]} var1 =<human_being_or_social_body>
var2 =<location_>|<pseudo_sortal_geographical> var3 =<sortal_concept>
var4 =<location_>|<pseudo_sortal_geographical>
var5 =<human_being_or_social_body>
var6 =<location_>|<pseudo_sortal_geographical>
var7 =<human_being_or_social_body>
var8 =<location_>|<pseudo_sortal_geographical> var9 =<h_class>
var10 =<sortal_concept>
var11 =<situation_>|<symbolic_label>
NLDescription : ’The Property is Necessarily Represented by a SPE-CIF(ication) List Filling the TOPIC Slot’
PREDICATE : OWN
SUBJ var1 :[(var2)]
OBJ var3
[SOURCE var4 :[(var5)]] !(BEN F)
[MODAL var6]
T OP IC (SP ECIF var7 var8)
[CONTEXT var9]
{[modulators] !=abs} {[temporal attributes]}
var1 !=<human_being_or_social_body>| <property_> var2 =<location_>|<pseudo_sortal_geographical> var3 =<property_>
var4 =<human_being_or_social_body>
var5 =<location_>|<pseudo_sortal_geographical>
var6 =<activity_>|<artefact_>|<process_>|<pseudo_sortal_concept> |<reified_event>|<symbolic_label>|<temporal_sequence>
var7 = <part/whole_relationship> | <relational_property> |
<spatio/temporal_relationship> var8 =<sortal_concept>
var9 =<situation_>|<symbolic_label>
[1] Georgia Institute of Technology, “from research to Market : Smart Shirt Mo-ves”, Georgia Institute of Technology, GA, USA, 2004. (Cité en page9.) [2] J.F. Allen. “An Interval-Based Representation of Temporal Knowledge”, In
Proceedings of the 7th international joint conference on Artificial intelligence,
volume 1, IJCAI’81, pages 221–226, Morgan Kaufmann Publishers Inc. San Francisco, CA, USA, 1981. (Cité en page58.)
[3] J.F. Allen. “Maintaining knowledge about temporal intervals”, In ACM, volume 26, pages 832–843, New York, NY, USA, 1983. (Cité en page58.) [4] J.F. Allen. “Towards a General Theory of Action and Time”, InArtif. Intell.
Elsevier Science Publishers Ltd, volume 23, pages 123–154, Essex, UK, 1984.
(Cité en page58.)
[5] L. Aogán, D. Dermot, and L. Matt. “Point-of-need diagnosis of cystic fibrosis using a potentiometric ion-selective electrode array”, InAnalyst, volume 125, pages 2264–2267, 2000. (Cité en page9.)
[6] A. Artale and E. Franconi. “A Survey of Temporal Extensions of Description Logics”, In Annals of Mathematics and Artificial Intelligence, volulme 30, pages 171–210, 2000. (Cité en page62.)
[7] F. Baader and B. Hollunder. “KRIS : Knowledge Representation and Inference System”, InSIGART Bull., volume 2, pages 8–14, 1991. (Cité en page34.) [8] J.F. Baget and M.L. Mugnier. “The SG family : extensions of simple
concep-tual graphs”, In Proceedings of the 17th international joint conference on
Artificial intelligence, Volume 1, IJCAI, pages 205–210, San Francisco, CA,
USA, 2001. (Cité en page 30.)
[9] J.F. Baget. “Extending the CG Model by Simulations”, In Conceptual Struc-tures : Logical, Linguistic, and Computational Issues Lecture Notes in
Com-puter Science,volulme 1867, pages 277–291, 2000. (Cité en pagesxiii et33.)
[10] J.F. Baget and M.L. Mugnier. “Extensions of Simple Conceptual Graphs : The Complexity of Rules and Constraints” InJournal Of Artificial Intelligence
Research, volume 16, pages 425-465, 2002. (Cité en page 33.)
[11] M. Bal. “Narratology : Introduction to the Theory of Narrative,”. 2 nd edn. Toronto : University of Toronto Press., 1997. (Cité en page92.)
[12] M. Baldauf, S. Dustdar, and F. Rosenberg. “A survey on context :aware systems”, In Journal International Journal of Ad Hoc and Ubiquitous
Com-puting,volume 2, pages 263–277, Geneva, SWITZERLAND 2007. (Cité en
page41.)
[13] S. Barry and C.A. Welty. “FOIS introduction : Ontology- - -towards a new synthesis”, InProceedings of the international conference on Formal Ontology
in Information Systems,volume 2001, pages 3–9, New York, USA, 2001. (Cité en page 27.)
[14] S. Batsakis and E.G. M. Petrakis. “SOWL : A Framework for Handling Spatio-Temporal Information in OWL 2.0”,Proceedings of the 5th international
confe-rence on Rule-based reasoning, programming, and applications, RuleML’2011,
pages 242–249, Berlin, Heidelberg, 2011. (Cité en page 63.)
[15] M. Beetz, L. Mösenlechner, and M. Tenorth. “CRAM - A Cognitive Robot Abstract Machine for Everyday Manipulation in Human Environments”, In
Intelligent Robots and Systems (IROS), 2010 IEEE/RSJ International
Confe-rence, pages 1012–1017, 2010. (Cité en pagesxiii et53.)
[16] T. Berners-Lee, R. Fielding, and L. Masinter. “Uniform Resource Identifiers (URI) : Generic Syntax”, Technical report, 1998. (Cité en page 37.)
[17] T.R. Gruber, “Ontolingua : A Mechanism to Support Portable Ontologies”, Technical report, 1992. (Cité en page 28.)
[18] C. Bettini, O. Brdiczka, K. Henricksen, J. Indulska, D. Nicklas, A. Rangana-than, and D. Riboni. “A survey of context modelling and reasoning techniques”,
InPervasive Mob. Comput. Elsevier Science Publishers B. V., volume 6, pages
161–180, 2010. (Cité en page41.)
[19] R.J. Brachman, J.G. Schmolze. “An overview of the KL-ONE Knowledge Representation System”, In Journal of Cognitive Science, volume 9, pages 171–216, 1985. (Cité en page28.)
[20] J. Bohn, V. Coroama, M. Langheinrich, F. Mattern, and M. Rohs. “Living in a World of Smart Everyday Objects-Social, Economic, and Ethical Implica-tions”, InJournal of Human and Ecological Risk Assessment, volume 5, pages 763–786, 2004. (Cité en page7.)
[21] R.J. Brachman. “What’s in a concept : Structural foundations for semantic networks”, InInt. Journal of Man-Machine Studies, volume 9, pages 127–152, 1977. (Cité en page 33.)
[22] R.J. Brachman. “Structured Inheritance Networks”, InInt. Journal of
Man-Machine Studies, volume 9, pages 127–152, 1978. (Cité en page 33.)
[23] R.J. Brachman and J.G. Schmolze. “An Overview of the KL-ONE Knowledge Representation System”, InCognitive Science, volume 9, pages 171–216, 1985. (Cité en pages 34et48.)
[24] D. Brickley and R.V. Guha. “W3C Recommendation. World Wide Web Consortium”, 2004. Available at http://www.w3.org/TR/2000/ CR-rdf-schema-20000327/. (Cité en page38.)
[25] Available athttp:/www.hitech-projects.com/euprojects/amigo. (Cité en page47.)
[26] M. Chein, M.L. Mugnier, “Conceptual Graphs : fundamental notions”. Revue
d’Intelligence Artificielle, volume 6, pages 365–406, 1992. (Cité en pages 30
[27] M. Chein and M.L. Mugnier. “Conceptual Graph are also Graph”, Technical report, 1995. (Cité en page33.)
[28] M. Chein and M.L. Mugnier. “Positive Nested Conceptual Graphs”, InProc. 5th Int Conf. on Conceptual Structures (ICCS 97), Springer Verlag, LNAI 1257, pages 95–109, 1997. (Cité en page30.)
[29] H. Chen, T. Finin and A. Joshi. “A Context Broker for Building Smart Meeting Rooms”, InAAAI 2004 Spring Symposium on Knowledge Representation and
Ontology for Autonomous Systems, Stanford, 2004. (Cité en page 47.)
[30] H. Chen, T. Finin and A. Joshi. “The SOUPA Ontology for Pervasive Com-puting”, In Ontologies for Agents : Theory and Experiences, pages 233–258. BirkHauser, 2005. (Cité en page44.)
[31] D.J. Cook and S.K. Das. “How Smart are our Environments ? An Updated Look at the State of the art”, InJournal of Pervasive and Mobile Computing, volume 3, pages 53–73. In : , 2007. (Cité en page 8.)
[32] D. Davidson. “Causal Relations”, In The Journal of Philosophy,volume 64, pages 691–703, 1967. (Cité en page108.)
[33] G. Demiris and J. Tan. “rejuvenating Home Helath Care and Tele-Homecare”,
In : J. Tan (Ed.) : E-Health Care Information Systems : An Introduction
for Students and Professionals. Jossey-Bass, San Francisco, CA, USA., pages
267–290, 2005. (Cité en page9.)
[34] E. Demmester, A. Huntemann, D. Vanhooydonck, G. Vanacker, A. Deggest, H. Van Brussel, M. Nuttin. “Bayesian estimation of wheelchair driver intents : Modeling intents as geometric paths tracked by the driver”, IEEE/RSJ Int
Conf on Intelligent Robots and Systems (IROS), pages 5775–5780, 2006. (Cité
en page14.)
[35] G.D. Abowd, A.K. Dey, P.J. Brown, N. Davies,M. Smith, P. Steggles. “Towards a Better Understanding of Context and Context-Awareness”, In
Proceedings of the 1st international symposium on Handheld and Ubiquitous
Computing, pages 304–307, Springer-Verlag, 1999. (Cité en page19.)
[36] T. Deyle, H. Nguyen, M.S. Reynolds, and C.C. Kemp. “RFID-Guided Robots for Pervasive Automation”, Pervasive Computing, IEEE, volume 9, pages 37– 45, 2010. (Cité en pagesxiii,10 et11.)
[37] P. Di, J. Huang, K. Sekiyama, and T. Fukuda. “Motion control of intelligent cane robot under normal and abnormal walking condition”, In RO-MAN, IEEE, pages 497–502, 2011. (Cité en page 14.)
[38] K. Ducatel, M. Bogdanowicz, F. Scapolo, J. Leijten, and J.C Burgelman. “Scenarios of Ambient Intelligence”, Final Report, 2001. (Cité en pages 6
et7.)
[39] R. Fikes, P. Hayes, and I. Horrocks. “OWL-QL- A Language for Deductive Query Answering on the Semantic Web”,Web Semant, volume 2, pages 19–29, Elsevier Science Publishers B. V, Amsterdam, 2004. (Cité en page40.)
[40] Charles L. Forgy. “Rete : A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem”, In Artificial Intelligence, volume 19, pages 17–37, 1982. (Cité en page76.)
[41] C. Galindo, J.A. Fernandez-Madrigal, J. Gonzalez, and A. Gonzalez. “Using Semantic Information for Improving Efficiency of Robot Task Planning”, Rome, Italy, 2007. (Cité en pages xiiiet43.)
[42] V. Haarslev, R. Möller, M. Wessel. “Querying the Semantic Web with Racer + nRQL”, InProceedings of the KI-2004 International Workshop on ADL’04,, 2004. (Cité en page 40.)
[43] M. Gandy, T. Starner, J. Auxier, and D. Ashbrook. “The Gesture Pendant : A Self-Illuminating, Wearable, Infrared Computer Vision System for Home Automation Control and Medical Monitoring”, InProceedings of the 4th IEEE
International Symposium on Wearable Computers, pages 87–94, Washington,
DC, USA, 2000. IEEE Computer Society. (Cité en page8.)
[44] J.J Gibson. “The Ecological Approach to Visual Perception”, Lawrence
Erl-baum Associates, 1979. (Cité en page43.)
[45] P.A. Gómez, F-L. Mariano, and O. Corcho. “Ontological Engineering, with examples from the areas of knowledge”, pages 3–15. Management, e-Commerce and the Semantic Web, Springer, 2004. (Cité en page28.)
[46] C. Gopalsamy, S. Park, R. Rajamanickam, and S. Jayaraman. “The Wea-rable Motherboard : The first Generation of adaptive and responsive textile structures (arts) for medical applications”, Virtual Reality, volume 4, pages 152–168, 1999. (Cité en page9.)
[47] T.R. Gruber. “Toward Principles for the Design of Ontologies Used for Know-ledge Sharing”, In International Journal of Human-Computer Studies, pages 907–928. Kluwer Academic Publishers, 1993. (Cité en page27.)
[48] H. Guoqiang, P.T. Wee, and W. Yonggang. “Cloud robotics : architecture, challenges and applications”, Network, IEEE, volume 26, pages 21–28, 2012. (Cité en page17.)
[49] C. Gutierrez, C.A. Hurtado, and A. Vaisman. “Introducing Time into RDF”,
Knowledge and Data Engineering, IEEE Transactions, volume 19, pages 207
– 218, 2007. (Cité en page61.)
[50] N. Halin, M. Junnila, P. Loula, and P. Aarnio. “The LifeShirt system for wireless patient monitoring in the operating room”, Journal of Telemedicine
and Telecare., volume 11, pages 41–43, 2005. (Cité en page9.)
[51] P. Hallot. “Relations Spatio-Temporelles dans un espace-temps primitif. un essai de simplification de l’analyse Spatio-Temporelle”, Master’s thesis, Uni-versité de Liège. Faculté des Sciences géographiques, 2006. (Cité en pagesxiii
et58.)
[52] F.V. Harmelen, V. Lifschitz, and B. Porter. “Handbook of Knowledge Repre-sentation, 1st Edition”, Elsevier Science, 2008. (Cité en page38.)
[53] S.S. Hidayat, B.K. Kim, and K. Ohba. “Learning Affordance for Seman-tic Robots Using Ontology Approach”, In Intelligent Robots and Systems,
2008. IROS 2008. IEEE/RSJ International Conference, pages 2630 –2636,
sept. 2008. (Cité en page43.)
[54] J. Higginbotham. “The Logic of Perceptual Reports : An Extensional Al-ternative to Situation Semantics”, Journal of Philosophy, volume 80, pages 100–127, 1983. (Cité en page108.)
[55] I. Horrocks. “OWL Rules, OK ?”, InRule Languages for Interoperability, 2005. (Cité en page41.)
[56] I. Horrocks and P. F. Patel-Schneider. “KR and reasoning on the semantic web : OWL”, In J. Domingue, D. Fensel, and J.A. Hendler, editors,Handbook
of Semantic Web Technologies, chapter 9, pages 365–398. Springer, 2011. (Cité
en page40.)
[57] I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. “SWRL : A Semantic Web Rule Language combining OWL and RuleML”, 2004. Available athttp://www.w3.org/Submission/SWRL/. (Cité en page41.) [58] H. Jagos, J. Oberzaucher, and W. L. Zagler. “Erste Schritte bei der Entwick-lung Instrumentierter Schuhe zur sturzvorbeugung alter menschen”, IKTFo-rum, 2007. (Cité en page 9.)
[59] K. Jong-Hwan, J. In-Bae, P. In-Won, and L. Kang-Hee. “Multi-Layer Ar-chitecture of Ubiquitous Robot System for Integrated Services”, I. J. Social
Robotics, volume 1, pages 19–28, 2009. (Cité en page48.)
[60] K. Kamei, S. Nishio, N. Hagita, and M. Sato. “Cloud networked robotics”,
Network, IEEE, volume 26, pages 28 –34, 2012. (Cité en page17.)
[61] R. Kikin-Gil. “BuddyBeads : techno-jewelry for non-verbal communication within teenager girls groups,” Personal Ubiquitous Comput., volume 2, pages 106–109, 2006. (Cité en page8.)
[62] J. H. Kim, Y.D. Kim, and K.H. Lee. “The Third Generation of Robotics : Ubiquitous Robot”,In Proc. of the 2nd Int. Conf. on Autonomous Robots and
Agents, Palmerston North, New Zealand, 2004. (Cité en page16.)
[63] R. Kowalski and M. Sergot. “A Logic-Based Calculus of Events”, New Gen.
Comput. Ohmsha, volume 4, pages 67–95, January 1986. (Cité en page60.)
[64] M. Krötzsch, F. Maier, A. Maier, and P. Hitzler. “A Better Uncle for OWL : Nominal schemas for integrating rules and ontologies”, InProceedings of the
20th International Conference on World Wide Web, pages 645–654, ACM,
2011. (Cité en page41.)
[65] J. A. Kuffner. “A Crowd of Quantum”, Ieee Spectrum 48, pages 16–18, 2011. (Cité en page17.)
[66] F. Landman. “Events and Plurality :The Jerusalem Lectures (Studies in
Linguistics and Philosophy”, Kluwer Academic Publisher, 2000. (Cité en
[67] O. Lassila and D. Khushraj. “Contextualizing applications via semantic midd-leware”, MOBIQUITOUS, pages 183–191, Washington, DC, USA, 2005. (Cité en page 41.)
[68] J. Legon. “’Smart sofa’ aimed at couch potatoes”, pages 217–236. In : CNN, 2003. (Cité en page 8.)
[69] F.W. Lehmann and E.Y. Rodin.“Semantic networks in artificial intelligence”, volume 12 ofInternational series in modern applied mathematics and computer
science. Pergamon Press, 1992. (Cité en page29.)
[70] S. Lemaignan, R. Ros, L. Mosenlechner, R. Alami, and M. Beetz. “ORO, a knowledge management platform for cognitive architectures in robotics”, In
Intelligent Robots and Systems (IROS), 2010 IEEE/RSJ International
Confe-rence, pages 3548–3553, 2010. (Cité en pagesxiii,49,50et51.)
[71] S. Leonhardt. “Personal Healthcare Devices,” In S. Mukherjee, R. Aarts, R. Roovers, F. Widdershoven, and M. Ouwerkerk, editors,“AmIware Hardware
Technology Drivers of Ambient Intelligence,”, volume 5 of Philips Research,
pages 349–370. Springer Netherlands, 2006. (Cité en page9.)
[72] H.J. Levesque, F. Pirri, and R. Reiter. “Foundations for the Situation Calcu-lus”, Electron. Trans. Artif. Intell, volume 2, pages 159–178, 1998. (Cité en page59.)
[73] L. Sabri, A. Chibani, Y. Amirat, and G.P Zarri. “Semantic Reasoning Frame-work to Supervise and Manage Contexts and Objects in Pervasive Computing Environments”, In Proceedings of the 2011 IEEE Workshops of Internatio-nal Conference on Advanced Information Networking and Applications, IEEE
Computer Society, WAINA ’11, Washington, DC, USA, pages 47–52,
Washing-ton, DC, USA, 2011. IEEE Computer Society. (Cité en pages 48 et119.) [74] J.S. Brunner, J.F. Goudou, P. Gatellier, J. Beck, and C.E. Laporte.
“SEM-bySEM : a framework for sensor management”, InProc. of the 1st Int.
Work-shop on the Semantic Sensor Web (SemSensWeb), 2009. (Cité en page119.)
[75] D. Fensel, I. Horrocks, F. Harmelen, S. Decker, M. Erdmann, M. Klein, “OIL in a Nutshell”, In R. Dieng, O. Corby, editors, Knowledge Engineering
and Knowledge Management Methods, Models, and Tools, volume 1937, pages
1–16. Spring Berlin Heidelberg, 2000. (Cité en page39.)
[76] M.R. MacGregor, “Inside the LOOM Description Classifier”, In Journal of
SIGART Bull, volume 2, pages 88–92. ACM, 1991. (Cité en page28.)
[77] J. Liberman. “Things That Think”, pages 217–236. MIT press, Massachusetts Institute of Technology, Cambridge, MA, USA, 2006. (Cité en page 8.) [78] I. Horrocks. “DAML+OIL : A Reason-able Web Ontology Language”, In
C. Jensen, S. Šaltenis, K. Jeffery, J.Pokorny, E. Bertino, K. Böhn, M. Jarke, editors,Advances in Database Technology - EDBT, volume 2287, pages 2–13. Spring Berlin Heidelberg, 2002. (Cité en page 28.)
[79] V. Lifschitz. “Circumscription”, In D.M. Gabbay, C.J. Hogger, and J.A. Robin-son, editors,Handbook of logic in artificial intelligence and logic programming, volume 3, pages 297–352. Oxford University Press, Inc., New York, NY, USA, 1994. (Cité en page60.)
[80] C. Lutz, F. Wolter, and M. Zakharyashev. “Temporal Description Logics : A Survey”, Temporal Representation and Reasoning. TIME’08. 15th
Internatio-nal Symposium, pages 3–14, 2008. (Cité en page62.)
[81] R.M. MacGregor. “Inside the LOOM description classifier”, SIGART Bull. ACM, volume 2, pages 88–92, 1991. (Cité en page 34.)
[82] J. Manfred. “Narratology : A Guide to the Theory of Narrative”, English De-partment, University of Cologne., 2005. Available athttp://www.uni-koeln. de/~ame02/pppn.htm. (Cité en page92.)
[83] J. McCarthy. “Circumscription- A Form of non-monotonic reasoning”, In
Artificial Intelligence, 1980. Conference Chair-Smith, Barry and Conference
Chair-Welty, Christopher. (Cité en pages27et59.)
[84] J. McCarthy, M.L. Minsky, N. Rochester, and C.E. Shannon. “A proposal for the dartmouth summer research project on artificial intelligence”, 1955. (Cité en page48.)
[85] J. McCarthy and P.J. Hayes. “Some philosophical problems from the stand-point of artificial intelligence”, In in B. Meltzer and D. Michie, editors,
Ma-chine Intelligence , volume 4, pages 463–502. Edinburgh University Press,
Edinburgh, 1969. (Cité en page59.)
[86] D. V. McDermott. “A Temporal Logic for Reasoning About Processes and Plans”, Cognitive Science, volume 6, pages 101–155, 1982. (Cité en page 58.) [87] G. Meditskos and N. Bassiliades. “A Rule-Based Object-Oriented OWL Rea-soner”, IEEE Trans. on Knowl. and Data Eng., volume 20, pages 397–410, 2008. (Cité en page41.)
[88] G. Meditskos and N. Bassiliades. “CLIPS-OWL : A framework for providing object-oriented extensional ontology queries in a production rule engine”,Data
Knowl. Eng., volume 70, pages 661–681, 2011. (Cité en page41.)
[89] S. Mefoued, S. Mohammed, and Y. Amirat. “Knee joint movement assistance through robust control of an actuated orthosis”, IEEE International
Confe-rence on Intelligent and Robotic Systems (IROS), San Francisco USA, pages
1749–1754, 2011. (Cité en page14.)
[90] R. Miller and M. Shanahan. “Some Alternative Formulations of the Event Calculus”, InComputational Logic : Logic Programming and Beyond, Essays
in Honour of Robert A. Kowalski, Part II, pages 452–490, London, UK, UK,
2002. Springer-Verlag. (Cité en page60.)
[91] M. Minsky. “A framework for representing knowledge”, Technical report, 1974. (Cité en page29.)
[92] R. Montague. “The proper treatment of quantification in ordinary english,” In J. Hintikka, J. Moravcsik, and P. Suppes, editors, Approaches to Natu-ral Language : proceedings of the 1970 Stanford workshop on Grammar and
Semantics, pages 221–242. Reidel, Dordrecht, 1973. (Cité en page108.)
[93] B. Mordechai. “Mathematical Logic for computer science”, Prentice-Hall,
Englewood Cliffs, pages 11–87, 1993. (Cité en page 26.)
[94] M.L. Mugnier. “Knowledge Representation and Reasonings Based on Graph Homomorphism”, In Proc. ICCS, volume 1867 of LNAI, pages 172–192. Springer, 2000. (Cité en page30.)
[95] B.J. Munro, J.R. Steele, T.E. Campbell, and G.G. Wallace. “Wearable eHealth Systems for Personalised Health Management : state of the art and future challenges”, Lymberis, Andreas, IOS Press, Amsterdam, pages 271–277, 2004. (Cité en page9.)
[96] C. Nieto-Granda, J.G. Rogers, A.J.B Trevor, and H.I Christensen. “Semantic map partitioning in indoor environments using regional analysis”, In
Interna-tional Conference on Intelligent RObots and Systems - IROS, pages 1451–1456,
2010. (Cité en page 48.)
[97] A. Nüchter and J. Hertzberg. “Towards semantic maps for mobile robots”,
Robot. Auton. Syst., 56(11) :915–926, 2008. (Cité en pages19 et48.)
[98] P. S. Pandian, K. P. Safeer, G. Pragati, D. T. Shakunthala, B. S. Sundershe-shu, and V. C. Padaki. “Wireless sensor network for wearable physiological monitoring”, volume 3, pages 21–29, 2008. (Cité en page 9.)
[99] P.S. Pandian, K. Mohanavelu, K.P. Safeer, T.M. Kotresh, D.T. Shakunthala, G. Parvati, and V.C. Padaki. “Smart Vest : Wearable multi-parameter remote physiological monitoring system”, 30 :466–477, 2008. (Cité en page9.) [100] S.H. Park, S.H. Won, J.B. Lee, and S.W. Kim. “Smart home - digitally
en-gineered domestic life”, volume 7, pages 189–196. In : Personal Ubiquitous Computing, 2003. (Cité en page8.)
[101] T. Parsons. “Events in the Semantics of English : A Study in Subatomic Semantics, Current Studies in Linguistics series”, Technical report, MIT Press., 1990. (Cité en page 108.)
[102] C. Patel, J. Cimino, J. Dolby, A. Fokoue, A. Kalyanpur, A. Kershenbaum, L. Ma, E. Schonberg, and K. Srinivas. “Matching patient records to clini-cal trials using ontologies”, In Proceedings of the 6th international The
se-mantic web and 2nd Asian conference on Asian sese-mantic web conference,
ISWC’07/ASWC’07, pages 816–829, Berlin, Heidelberg, 2007. Springer-Verlag. (Cité en page42.)
[103] P. F. Patel-Schneider, L. A. Resnick, D. L. McGuinness, E. Weixelbaum, M. Abrahams, and A. Borgida. “Neoclassic user’s guide : Version 1.0.”, Artifi-cial Intelligence Principles Research Department, AT&T Labs Research, 1996. (Cité en page44.)
[104] Peter F. Patel-Schneider, Deborah L. McGuinness, Ronald J. Brachman, and Lori Alperin Resnick. “The classic Knowledge Representation System : Gui-ding Principles and Implementation Rationale”,SIGART Bull., 2(3) :108–113, 1991. (Cité en page44.)
[105] M. Perry, P. Jain, and A.P. Sheth. “SPARQL-ST : Extending SPARQL to Support Spatiotemporal Queries”, Geospatial Semantics and the Semantic
Web, edited by, Ashish, N. and Sheth, A.P., volume 12, pages 61–86, 2011.
(Cité en page62.)
[106] D. J. “Philips and ” Das, S.K. “Vision of the Future”,Philips Corporate Design,
Eindhoven, The Netherlands., 2006. (Cité en page8.)
[107] L. Sabri, A. Chibani, T. Patkos, F. Sebbak, and Y. Amirat. “Advanced Context modeling and Reasoning for ambient intelligence environments and ubiquitous robotics”, In in : Journées Nationales de la Robotique Interactive
du GDR Robotique, JNRI 2011, Paris, France, 2011. (Cité en page48.)
[108] H. Pigot, J. Bauchet, and S. Giroux. “Assistive Devices for People with Cog-nitive Impairments”, In The Engineering Handbook of Smart Technology for
Aging, Disability, and Independence, chapter 12, pages 217–236. John Wiley
& Sons, Inc., 2008. (Cité en pages8et19.)
[109] N.B. Priyantha. “The Cricket Indoor Location System,” PhD thesis, Depart-ment of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 2005. (Cité en page12.)
[110] J. Pustejovsky, J/M. Castaño, R. Ingria, R. Sauri, R.J. Gaizauskas, A. Setzer, G. Katz, and D.R. Radev. “TimeML : Robust Specification of Event and Temporal Expressions in text”, In New Directions in Question Answering,