Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985. ,
DOI : 10.1080/00048408412341331
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
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
Anomalies in ontologies with rules. Web Semantics: Science, Services and Agents on the World Wide Web, pp.55-68, 2010. ,
Context-awareness for Next-Generation Applications Servers, MRC, CON- TEXT', vol.11, pp.26-30, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00991015
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
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
Artificial intelligence programming, Hillsdale NJ, 1980. ,
RDF 1.1 Concepts and Abstract Syntax, pp.3-25 ,
Tangible ambient intelligence with semantic agents in daily activities, Journal of Ambient Intelligence and Smart Environments, vol.5, issue.4, pp.351-368, 2013. ,
Defeasible Inference with Circumscribed OWL Ontologies, Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, 2008. ,
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
Abstract., The Journal of Symbolic Logic, vol.17, issue.04, pp.1581-1596, 2001. ,
DOI : 10.1023/A:1005294718935
SPARQL 1.1 Query Language, W3C Recommendation 21, W3C Recommendation, 2013. ,
Laconic and Precise Justifications in OWL, ISWC 2008, pp.323-338, 2008. ,
DOI : 10.1007/978-3-540-73595-3_6
Semantics ??? scalability ??? ????, Journal of Zhejiang University SCIENCE C, vol.13, issue.4, pp.241-244, 2012. ,
DOI : 10.1631/jzus.C1101001
OWL rules: A proposal and prototype implementation. Web Semantics: Science and Services and Agents on the World Wide Web, pp.23-40, 2005. ,
Debugging unsatisfiable classes in OWL ontologies Web Semantics: Science and Services and Agents on the World Wide Web, pp.268-293, 2005. ,
Reducing belief revision to circumscription (and vice versa) Artificial intelligence, pp.261-296, 1997. ,
Paraconsistent Reasoning for Expressive and Tractable Description Logics ,
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
OWL Web Ontology Language Overview W3C Recommendation 10 ,
Reasoning and revision in hybrid representation systems. LNAI, 1990. ,
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. ,
Small Can Be Beautiful in the Semantic Web, 2004. ,
DOI : 10.1007/978-3-540-30475-3_2
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. ,
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
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 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