C. Alchourrón, P. Gärdenfors, and D. Makinson, Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985.
DOI : 10.1080/00048408412341331

G. Antoniou and A. Bikakis, DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web, IEEE Transactions on Knowledge and Data Engineering, vol.19, issue.2, pp.233-245, 2006.
DOI : 10.1109/TKDE.2007.29

F. Baader, C. Lutz, and A. Turhan, Small is Again Beautiful in Description Logics, KI - K??nstliche Intelligenz, vol.48, issue.1, pp.25-33, 2010.
DOI : 10.1007/s13218-010-0004-8

J. Baumeister and D. Seipel, Anomalies in ontologies with rules. Web Semantics: Science, Services and Agents on the World Wide Web, pp.55-68, 2010.

Y. Billet, C. Gravier, and J. Fayolle, Context-awareness for Next-Generation Applications Servers, MRC, CON- TEXT', vol.11, pp.26-30, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00991015

Y. Billet, C. Gravier, and J. Fayolle, SWRL-Based Context Awareness for Application Servers Hosting Digital Services, Rule-Based Modeling and Computing on the Semantic Web, pp.222-229, 2011.
DOI : 10.1007/978-3-642-18472-7_8

URL : https://hal.archives-ouvertes.fr/hal-00991005

Y. Billet, C. Gravier, and J. Fayolle, SWRL-Based Context Awareness for Application Servers Hosting Digital Services, 2011.
DOI : 10.1007/978-3-642-18472-7_8

URL : https://hal.archives-ouvertes.fr/hal-00991005

E. Charniak, C. Riesbeck, D. Mcdermott, and J. Meehan, Artificial intelligence programming, Hillsdale NJ, 1980.

R. Cyganiak, D. Wood, and M. Lanthaler, RDF 1.1 Concepts and Abstract Syntax, pp.3-25

S. Dourlens, A. Ramdane-cherif, and E. Monacelli, Tangible ambient intelligence with semantic agents in daily activities, Journal of Ambient Intelligence and Smart Environments, vol.5, issue.4, pp.351-368, 2013.

S. Grimm and P. Hitzler, Defeasible Inference with Circumscribed OWL Ontologies, Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, 2008.

C. Halashek-wiener, B. Parsia, and E. Sirin, Description Logic Reasoning with Syntactic Updates, 5th Int'l Conf. on Ontologies, Databases, and Applications of Semantics, pp.722-737, 2006.
DOI : 10.1007/11914853_44

S. O. Hansson, E. L. Fermé, J. Cantwell, and M. A. Falappa, Abstract., The Journal of Symbolic Logic, vol.17, issue.04, pp.1581-1596, 2001.
DOI : 10.1023/A:1005294718935

S. Harris and A. Seaborne, SPARQL 1.1 Query Language, W3C Recommendation 21, W3C Recommendation, 2013.

]. M. Horridge, B. Parsia, and U. Sattler, Laconic and Precise Justifications in OWL, ISWC 2008, pp.323-338, 2008.
DOI : 10.1007/978-3-540-73595-3_6

I. Horrocks, Semantics ??? scalability ??? ????, Journal of Zhejiang University SCIENCE C, vol.13, issue.4, pp.241-244, 2012.
DOI : 10.1631/jzus.C1101001

I. Horrocks, P. F. Patel-schneider, and S. Bechhofer, OWL rules: A proposal and prototype implementation. Web Semantics: Science and Services and Agents on the World Wide Web, pp.23-40, 2005.

A. Kalyanpur, B. Parsia, and E. Sirin, Debugging unsatisfiable classes in OWL ontologies Web Semantics: Science and Services and Agents on the World Wide Web, pp.268-293, 2005.

P. Liberatore and M. Schaerf, Reducing belief revision to circumscription (and vice versa) Artificial intelligence, pp.261-296, 1997.

Y. Ma, H. Hitzler, and L. Zuoquan, Paraconsistent Reasoning for Expressive and Tractable Description Logics

J. Mccarthy, Circumscription???A form of non-monotonic reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.27-39, 1980.
DOI : 10.1016/0004-3702(80)90011-9

D. L. Mcguinness and F. Van-harmelen, OWL Web Ontology Language Overview W3C Recommendation 10

B. Nebel, Reasoning and revision in hybrid representation systems. LNAI, 1990.

D. Preuveneers and P. Novais, A survey of software engineering best practices for the development of smart applications in ambient intelligence, Journal of Ambient Intelligence and Smart Environments, vol.4, issue.3, pp.149-162, 2012.

M. Rousset, Small Can Be Beautiful in the Semantic Web, 2004.
DOI : 10.1007/978-3-540-30475-3_2

T. Springer and A. Turhan, Employing description logics in ambient intelligence for modeling and reasoning about complex situations, Journal of Ambient Intelligence and Smart Environments, vol.1, issue.3, pp.235-259, 2009.

R. M. Stallman and G. J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence, vol.9, issue.2, pp.135-196, 1977.
DOI : 10.1016/0004-3702(77)90029-7

H. J. Horst and A. Sinitsyn, An approach to structuring reasoning for interpretation of sensor data in home-based health and well-being monitoring applications, Proceedings of the 5th International ICST Conference on Pervasive Computing Technologies for Healthcare, pp.461-476, 2012.
DOI : 10.4108/icst.pervasivehealth.2011.246099

A. Zimmermann, N. Lopes, A. Polleres, and U. Straccia, A general framework for representing, reasoning and querying with annotated Semantic Web data, Web Semantics: Science, Services and Agents on the World Wide Web, pp.72-95, 2012.
DOI : 10.1016/j.websem.2011.08.006

URL : https://hal.archives-ouvertes.fr/hal-01240838