C. 'explosion, 79 3.1 L'abstraction

L. Du and . Doctorant, son lien d'héritage avec le concept étudiant, l'ajout de l'individu Paul et son assertion donne l'addition des axiomes suivants à la chronologie d'axiomes

K. Anyanwu, A. Maduko, and A. P. Sheth, SPARQ2L, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.797-806, 2007.
DOI : 10.1145/1242572.1242680

F. Baader, W. Et-nutt, F. Baader, D. Calvanese, D. Mcguinness et al., Basic description logics The Description Logic Handbook: Theory, Implementation and Applications, pp.47-100, 2003.

C. Baier and J. P. Et-katoen, Principles of Model Checking, 2008.

S. Bardin, Introduction au Model Checking, École Nationale, 2008.

A. Bastide, Six sites pour tout savoir sur la RFID, 2008.

D. Becket and B. Mcbride, RDF/ XML Syntax Specification (Revised), 2004.

M. Ben-ari-ben-ari, Principles of the Spin model checker, pp.978-1846287695, 2008.

T. Berners-lee, Notation 3 -An RDF Language for the Semantic Web, 2001.

T. Berners-lee, J. Hendler, and O. Et-lassila, The Semantic Web. Scientific American, pp.34-43, 2001.

E. W. Beth, The Foundations of Mathematics, 1959.

C. Blakeley, Virtuoso RDF Views, 2006.

P. Brun, XTL : une logique temporelle pour la spécification formelle des systèmes interactifs, Thèse de doctorat à l'université paris, 1998.

G. Bruns and P. Et-godefroid, Temporal logic query checking, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 2001.
DOI : 10.1109/LICS.2001.932516

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. J. Hwang, Symbolic Model Checking: 10 20 States and Beyond. Information and computation, pp.142-170, 1992.

D. Brickley and R. Et-guha, Resource Description Framework (RDF) Schema Specification 1.0: W3C Candidate Recommendation 27 Mars, 2000.

D. Brickley, R. V. Guha, B. Mcbride, and . Browne, RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation, 1986.

M. C. Browne, E. M. Clarke, D. L. Dill, and B. Et-mishra, Automatic Verification of Sequential Circuits Using Temporal Logic, IEEE Transactions on Computers, vol.35, issue.12, pp.351035-1044, 1986.
DOI : 10.1109/TC.1986.1676711

. Bry, RDFLog: It's Like Datalog for RDF, 2008.

E. Randal and . Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043

J. R. Büchi, On a Decision Method in Restricted Second Order Arithmetic, Proceedings of the International Congress on Logic, pp.1-11, 1960.
DOI : 10.1007/978-1-4613-8928-6_23

S. Castano, Ontology evolution: The BOEMIE approach, BOEMIE Workshop, 2006.

P. Cousot and R. Et-cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Cousot, Interprétation abstraite, Technique et Science Informatique, vol.19, pp.155-164, 2000.

J. M. Couvreur, On-the-fly Verification of Linear Temporal Logic, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM'99), pp.253-271, 1999.
DOI : 10.1007/3-540-48119-2_16

J. M. Couvreur, Un point de vue symbolique sur la logique temporelle linéaire, Actes du Colloque LaCIM of Publications du LaCIM, pp.131-140, 2000.

R. Cyganiak, A relational algebra for SPARQL, 2005.

I. F. Cruz, A. O. Mendelzon, and P. T. Wood, A Graphical Query Language Supporting Recursion, pp.323-330, 1987.

I. F. Cruz, A. O. Mendelzon, and P. T. Wood, G+: Recursive queries without recursion, Proceedings of Second International Conference on Expert Database 1980) fairness. In Proceedings of the 12th ACM Symposium on Principles of Programming Languages (PoPL'80), pp.163-173, 1988.

D. M. Gabbay, The declarative past and imperative future, Proceedings of the 1st Conference on Temporal Logic in Specification, pp.409-448, 1987.
DOI : 10.1007/3-540-51803-7_36

G. Anh-tuan, Web 3.0 : une autre branche pour l'arbre des possibles, 2007.

. F. Gandon, Le "futur, 2008.

A. Gangemi, C. Catenacci, and M. Battaglia, Inflammation ontology design pattern: an exercise in building a core biomedical ontology with descriptions and situations, Ontologies in Medicine, 2004.

P. Gastin and D. Et-oddoux, Fast LTL to Büchi automata translation, Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01), volume 2102 of Lecture Notes in Computer Science, pp.53-65, 2001.

M. Gemis and J. Paredaens, An object-oriented pattern matching language, Proc. 1th ISOTAS, pp.339-355, 1993.
DOI : 10.1007/3-540-57342-9_82

R. Gerth, D. Peled, M. Y. Vardi, R. Gerth, D. D. Eindhoven et al., Simple On-the-fly Automatic Verification of Linear Temporal Logic, Protocol Specification Testing and Verification, 1995.
DOI : 10.1007/978-0-387-34892-6_1

M. Gheorghiu and A. Et-gurfinkel, TLQ: A Query Solver for States, Tools and Posters track of Formal Methods, 2006.

C. Ghezzi and R. Et-kemmerer, ASTRAL: An assertion language for specifying real-time systems, Proceedings of the 3rd European Software Engineering Conference, pp.122-146, 1991.

D. Giannakopoulou and F. Et-lerda, Efficient translation of LTL formulae into Büchi automata, 2001.

D. Giannakopoulou and F. Et-lerda, From States to Transitions: Improving Translation of LTL Formulae to B??chi Automata, Proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, p.2529, 2002.
DOI : 10.1007/3-540-36135-9_20

M. Haydar, S. Boroday, A. Petrenko, and H. Et-sahraoui, Properties and scopes in web model checking, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.400-404, 2005.
DOI : 10.1145/1101908.1101980

J. Heflin, J. Hendler, and S. Luke, Coping with changing ontologies in a distributed environment, Proceedings of the Workshop on Ontology Management of the 16th National Conference on Artificial Intelligence (AAAI-99), WS-99-13, pp.74-79, 1999.

G. Held, Data Compression: Techniques and Applications, Hardware and Software Considerations, 1987.

M. Hennesy and R. Milner, Algebraic laws for nondeterminism and concurrency, Journal of the ACM, vol.32, issue.1, 1985.
DOI : 10.1145/2455.2460

T. A. Henzinger, P. H. Ho, and H. Wong-toi, HYTECH: A Model-Checker for Hybrid Systems, Journal on Software Tools for Technology Transfer, vol.1, pp.1-2, 1997.

I. Herman, SPARQL is a Candidate Recommendation Semantic Web Activity News. World Wide Web Consortium, 1969.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12363235, issue.10, pp.576-580, 1969.

G. J. Holzmann, Design and Validation of Computer Protocol, 1991.

G. J. Holzmann, State Compression in Spin, Proc. Third Spin Workshop, 1997.

G. J. Holzmann, The SPIN Model Checker -Primer and Reference Manual, 2003.

K. Homma, K. Takahashi, and A. Togashi, Modeling and Verification of Web Applications Using Formal Approach, IEICE Tech. Rep, vol.109, issue.40, pp.2009-2017, 2009.

S. Hornus, Requêtes en logique temporelle. Mémoire DEA algorithmique, Master thesis in computer aided verification French. Stage effectué au LSV de l'ENS Cachan, 2001.

. Hornus-et-schnoebelen, S. Hornus, and P. Et-schnoebelen, On solving temporal logic queries, International Conference on Algebraic Methodology And Software Technology Thèse de Doctorat ? Mahdi Gueffaz, 2002.

M. Horridge, B. Parsia, and U. Sattler, Explanation of OWL Entailments in Protégé 4, 2008.

Y. Huang, F. Yu, C. Hang, C. Tsai, D. T. Lee et al., Verifying web applications using bounded Model Checking, DSN 04 Proceedings of the International Conference on Dependable Systems and Networks Page 199, 2004.

D. A. Huffman, A method for the construction of minimum-redundancy codes, Proceedings of the I.R.E, pp.1098-1102, 1952.

K. Hutt, A Comparison of RDF Query Languages, 2005.

J. Jaffar and J. L. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119, 1987.
DOI : 10.1145/41625.41635

A. Kalyanpur, B. Parsia, E. Sirin, B. C. Grau, and J. A. Hendler, Swoop: A Web Ontology Editing Browser, Web Semantics: Science, Services and Agents on the World Wide Web, vol.4, issue.2, pp.144-153, 2006.
DOI : 10.1016/j.websem.2005.10.001

Y. Kesten, Z. Manna, H. Mcguire, and A. Et-pnueli, A decision algorithm for full propositional temporal logic, Proceedings for the 5th Conference on Computer Aided Verification (CAV'93), pp.97-109, 1993.
DOI : 10.1007/3-540-56922-7_9

C. Kiefer, A. Bernstein, H. J. Lee, M. Klein, and M. Stocker, Semantic Process Retrieval with iSPARQL, Proceedings of the 4th European Semantic Web Conference, 2007.
DOI : 10.1007/978-3-540-72667-8_43

M. Kifer, G. Lausen, and J. Et-wu, Logical foundations of object-oriented and frame-based languages, Journal of the ACM, vol.42, issue.4, pp.741-843, 1995.
DOI : 10.1145/210332.210335

M. Klein and D. Et-fensel, Ontology versioning for the Semantic Web, Journal of the First International Semantic Web Working Symposium (SWWS), pp.75-91, 2001.

M. Klein, Supporting Evolving Ontologies on the Internet, 2002.
DOI : 10.1007/3-540-36128-6_39

M. Klein, Change Management for Distributed Ontologies, 2004.

K. Kochut and M. Et-janik, SPARQLeR: Extended Sparql for Semantic Association Discovery, Proceedings of 4th European Semantic Web Conferenc (ESWC'07), pp.145-159, 2007.
DOI : 10.1007/978-3-540-72667-8_12

O. Kupferman, M. Y. Vardi, and P. Wolper, An automata-theoretic approach to branching-time model checking, Journal of the ACM, vol.47, issue.2, pp.312-360, 2000.
DOI : 10.1145/333979.333987

X. Lacot, Introduction à OWL, un langage XML d'ontologies Web, 2005.

J. Lam, D. Sleeman, J. Pan, and W. Et-vasconcelos, A Fine-Grained Approach to Resolving Unsatisfiable Ontologies, In Journal on Data Semantics X (, vol.4900, pp.62-95, 2008.
DOI : 10.1007/978-3-540-77688-8_3

F. Laroussinie, N. Markey, and P. Et-schnoebelen, Temporal logic with forgettable past, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, pp.383-392, 2002.
DOI : 10.1109/LICS.2002.1029846
URL : https://hal.archives-ouvertes.fr/hal-01194631

P. Laublet, C. Reynaud, and J. Charlet, Sur quelques aspects du Web sémantique, 2002.

P. Laublet, J. Charlet, and C. Et-reynaud, Introduction au Web sémantique Information Interaction Intelligence, Hors-série, pp.7-20, 2004.

G. Lausen, M. Meier, and M. Et-schmidt, SPARQLing constraints for RDF, Proceedings of the 11th international conference on Extending database technology Advances in database technology, EDBT '08, pp.499-509, 2008.
DOI : 10.1145/1353343.1353404

O. Lichtenstein, A. Pnueli, and L. Et-zuck, The glory of the past, Proceedings 3rd Workshop on Logics of Programs, pp.17-19, 1985.
DOI : 10.1007/3-540-15648-8_16

G. Lowe, An attack on the Needham-Schroeder public-key authentication protocol, Information Processing Letters, vol.56, issue.3, pp.131-133, 1995.
DOI : 10.1016/0020-0190(95)00144-2

G. Lowe, Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR, Also in Software Concepts and Tools, pp.147-16693, 1996.
DOI : 10.1007/3-540-61042-1_43

P. H. Luong, Gestion de l'évolution d, 2004.

P. Luong and R. Et-dieng-kuntz, A RULE-BASED APPROACH FOR SEMANTIC ANNOTATION EVOLUTION, Computational Intelligence, vol.37, issue.7, pp.320-338, 2007.
DOI : 10.1111/j.1467-8640.2007.00308.x

A. Maedche, B. Motik, and L. Et-stojanovic, Managing multiple and distributed ontologies on the Semantic Web, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.4, pp.286-302, 2002.
DOI : 10.1007/s00778-003-0102-4

A. Magkanaraki, G. Karvounarakis, T. T. Anh, V. Christophides, and D. Plexousakis, Ontology Storage and Querying, Tech. Report, vol.308, 2002.

J. Manach, RFiD 2.0 : des puces ou des ordinateurs ?, 2009.

Z. Manna and A. Et-pnueli, The Temporal Logic of Reactive and Concurrent Systems, volume I (Specification), 1992.

Z. Manna and A. Et-pnueli, Temporal Verification of Reactive Systems -Safety, 1995.

D. Marin, RDF Formalization, 2004.

N. Markey, Logiques temporelles pour la vérification : expressivité, complexité, algorithmes, 2003.

R. Mateescu, S. Meriot, and S. Et-rampacek, Extending SPARQL with Temporal Logic, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00404761

A. P. Mathur, Foundations of Software Testing, pp.978-8131716601, 2008.

D. Mcguinness, Conceptual Modeling for Distributed Ontology Environments. Paper presented at the ICCS, 2000.

K. L. Mcmillan, The SMV system --DRAFT, 1992.

K. L. Mcmillan, Symbolic Model checking -An Approach to the State Explosion Problem, 1993.

M. Minsky, A Framework for Representing Knowledge. Mind Design, pp.95-128, 1981.

J. F. Monin, Introduction aux méthodes formelles. Hermès, préface de G, 2000.

S. Munoz, J. Pérez, and C. Et-gutierrez, Minimal Deductive Systems for RDF, ESWC, pp.53-67, 2007.

G. J. Myers, The Art of Software Testing, 1979.
DOI : 10.1002/9781119202486

D. Nardi-et-nardi and R. J. Et-brachman, An Introduction to Description Logics, 2003.
DOI : 10.1017/CBO9780511711787.003

F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. Patel-schneider, The Description Logic Handbook : Theory, Implementation and Applications, p.544
DOI : 10.1017/CBO9780511711787

M. R. Nelson, The Data Compression Book, 1991.

T. Neumann and G. Et-weikum, Scalable join processing on very large RDF graphs, Proceedings of the 35th SIGMOD international conference on Management of data, SIGMOD '09, p.9, 2009.
DOI : 10.1145/1559845.1559911

N. Noy, Tools for Mapping and Merging Ontologies, 2004.
DOI : 10.1007/978-3-540-24750-0_18

. Studer, Handbook on Ontologies, 2004.

N. F. Noy and M. A. Et-musen, Ontology versioning in an ontology management framework, IEEE Intelligent Systems, vol.19, issue.4, 2004.
DOI : 10.1109/MIS.2004.33

N. F. Noy, A. Chugh, W. Liu, and M. A. Musen, A framework for ontology evolution in collaborative environments The Semantic Web - ISWC, LNCS, vol.4273, pp.544-558, 1007.

D. E. Oliver, M. Shahar, A. Musen, and E. H. Shortliffe, Representation of change in controlled medical terminologies, Artificial Intelligence in Medicine, vol.15, issue.1, pp.53-76, 1999.
DOI : 10.1016/S0933-3657(98)00045-1

P. Palanque, Modélisation par objets coopératifs interactifs d'interfaces homme-machine dirigées par l'utilisateur, 1992.

P. K. Pandya, Specifying and Deciding Qauntified Discrete-time Duration Calculus formulae using DCVALID, Proc. Real-Time Tools, 2001.

B. Parreaux, Vérification de systèmes d'événements B par Model checking PLTL -Contribution à la réduction de l'explosion combinatoire en utilisant de la résolution de contraintes ensemblistes, Thèse soutenu le 08 décembre, 2000.

J. Pérez, M. Arenas, and C. Et-gutierrez, nSPARQL: A Navigational Language for RDF, ISWC, pp.66-81, 2008.

J. Pérez, M. Arenas, and C. Et-gutierrez, Semantics and complexity of SPARQL, 2009.

J. Pérez, M. Arenas, and C. Gutierrez, The Semantics and Complexity of SPARQL, Best Paper Award, 5th International Semantic Web Conference, 2006.

J. Pérez, M. Arenas, and C. Gutierrez, nSPARQL: A navigational language for RDF???, Web Semantics: Science, Services and Agents on the World Wide Web, vol.8, issue.4, pp.255-270, 2010.
DOI : 10.1016/j.websem.2010.01.002

H. Pinto, S. Staab, and C. Tempich, Diligent: Towards a fine-grained methodology for distributed, loosely-controlled and evolving engineering of Thèse de Doctorat ? Mahdi, 2004.

S. Pinto and J. Et-martins, Evolving Ontologies in Distributed and Dynamic Settings, Paper presented at the 8th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2002), 2002.

P. Pittet, C. Cruz, and C. Nicolle, Guidelines for a Dynamic Ontology - Integrating Tools of Evolution and Versioning in Ontology, Proceedings of the International Conference on Knowledge Management and Information Sharing, pp.26-29, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722926

P. Pittet, C. Cruz, and C. Nicolle, Towards Dynamic Ontology -Integrating Tools of Evolution and Versionning in Ontology, The Fourth International Conference on Advances in Semantic Processing, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00612493

P. Plessers and O. De-troyer, Ontology Change Detection Using a Version Log, The Semantic Web ? ISWC 2005, pp.578-592, 1007.
DOI : 10.1007/11574620_42

P. Plessers and O. Et-de-troyer, Resolving inconsistencies in evolving ontologies The Semantic Web: Research and Ap-plications, Proceedings of the 3rd European Semantic Web Conference ESWC, pp.200-214, 2006.

P. Plessers, O. De-troyer, and S. Casteleyn, Understanding ontology evolution: A change detection approach, Journal of Web Semantics: Science, Services and Agents on the World Wide Web, pp.39-49, 2007.
DOI : 10.1016/j.websem.2006.11.001

A. Polleres, F. Scharffe, and R. Et-schindlauer, SPARQL++ for Mapping Between RDF Vocabularies. On the Move to Meaningful Internet Systems, pp.878-896, 2007.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

V. Presutti and A. Gangemi, Content Ontology Design Patterns as Practical Building Blocks for Web Ontologies, Proceedings of the 27th International Conference on Conceptual Modeling, 2008.
DOI : 10.1023/A:1022883727209

E. Prudhommeaux and A. Et-seaborne, SPARQL Query Language for RDF, 2005.

. Qi, A revision-based approach to handling inconsistency in description logics, Proceedings of the 11th International Workshop on Non-Monotonic Reasoning (NMR-06), 2006.
DOI : 10.1007/s10462-007-9044-3

B. Roynette, Le futur du web, des interfaces et des usages en 2019, 2009.

M. Samer and H. Et-veith, Validity of CTL Queries Revisited, CSL, vol.2003, pp.470-483, 2003.
DOI : 10.1007/978-3-540-45220-1_38

U. Sattler, D. Calvanese, R. Et-molitor, F. Baader, D. Calvanese et al., Relationships with other formalisms The Description Logic Handbook: Theory, Implementation and Applications, pp.142-183, 2003.

T. Schlipf, T. Buechner, R. Fritz, M. Helms, and J. Et-koehl, Formal verification made easy, IBM Journal of Research and Development, vol.41, issue.4.5, pp.4-5567, 1997.
DOI : 10.1147/rd.414.0567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.9716

P. Schnoebelen, B. Bérard, M. Bidoit, F. Laroussinie, and A. Petit, Vérification de logiciels : Techniques et outils de model-checking, 1999.

E. D. Sciascio, M. F. Donini, M. Mongiello, and G. Et-piscitelli, AnWeb, Proceedings of the 14th international conference on Software engineering and knowledge engineering , SEKE '02, pp.609-616, 2002.
DOI : 10.1145/568760.568866

E. D. Sciascio, M. F. Donini, M. Mongiello, and G. Et-piscitelli, Web applications design and maintenance using symbolic model checking, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings., pp.63-72, 2003.
DOI : 10.1109/CSMR.2003.1192411

A. Seaborne, RDQL -À Query Language for RDF, W3C Member Submission 9, 2004.

M. Sintek and S. Et-decker, TRIPLE???A Query, Inference, and Transformation Language for the Semantic Web, Proc. of the 1th ISWC, 2002.
DOI : 10.1007/3-540-48005-6_28

E. Sirin and B. Et-parsia, SPARQL-DL: SPARQL query for OWL-DL, Proceedings of the 3rd OWL Experiences and Directions Workshop, 2007.

E. Sirin, B. Parsia, C. Grau, B. Kalyanpur, A. Et-katz et al., Pellet: A practical OWL-DL reasoner, Web Semantics: Science, Services and Agents on the World Wide Web, vol.5, issue.2, pp.51-53, 2007.
DOI : 10.1016/j.websem.2007.03.004

F. Somenzi and R. Et-bloem, Efficient Büchi automata for LTL formulae, Proceedings of the 12 th International Conference on Computer Aided Verification (CAV'00), volume 1855 of Lecture Notes in Computer Science, pp.247-263, 2000.

C. Stirling, Modal and Temporal Logic, 1992.

E. Gabbay, S. E. Thomas, and . Maibaum, éditeurs, Handbook of Logic in Computer Science, pp.477-563

L. Stojanovic, Methods and Tools for Ontology Evolution, 2004.

L. Stojanovic, A. Maedche, B. Motik, and N. Et-stojanovic, User-driven ontology evolution management Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web, Proceedings of the 13th International Conference EKAW2002, pp.285-300, 2002.

J. A. Storer, Data Compression: Methods and Theory, 1988.

E. Sunagawa, K. Kozaki, Y. Kitamura, and R. Et-mizoguchi, An Environment for Distributed Ontology Development Based on Dependency Management, Paper presented at the International Semantic Web Conference (ISWC), 2003.
DOI : 10.1007/978-3-540-39718-2_29

V. Svatek, Design patterns for semantic web ontologies: Motivation and discussion, 7ème conférence Business Information Systems, 2004.

R. E. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972.
DOI : 10.1137/0201010

. Tho, Ontology Evolution for Customer Services, Sydney, 2008) Australia. Conferences in Research and Practice in Information Technology, 2008.

D. Tsarkov and I. Et-horrocks, DL reasoner vs. first-order prover, Proc. of the 2003 Description Logic Workshop, pp.152-159, 2003.

D. Tsarkov and I. Et-horrocks, FaCT++ Description Logic Reasoner: System Description, Proc. of the Int. Joint Conf. on Automated Reasoning IJCAR 2006, pp.292-297, 2006.
DOI : 10.1007/11814771_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.2672

M. Y. Vardi, An automata-theoretic approach to linear temporal logic, Proceedings of the 8th Banff Higher Order Workshop, pp.238-266, 1996.
DOI : 10.1007/3-540-60915-6_6

M. Y. Vardi, An automata-theoretic approach to automatic program verication, Proceedings of the 1st IEEE Symposium on Logic in Computer Science (LICS'86), pp.332-344, 1986.

P. Wolper, M. Y. Vardi, and A. P. Et-sistla, Reasoning about infinite computation paths, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983), p.185
DOI : 10.1109/SFCS.1983.51

P. Wolper, Constructing Automata from Temporal Logic Formulas: A Tutorial???, Proceedings of the FMPA 2000 summer school, pp.261-277, 1997.
DOI : 10.1007/3-540-44667-2_7

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.1-2, 1997.
DOI : 10.1007/s100090050009

S. Yuen, K. Kato, D. Kato, and K. Et-agusa, Web Automa A Behavioral Model of Web applications based on the MVC model, Computer Software, vol.22, issue.2, pp.44-57, 2005.

F. L. Zablith and . Aroyo, Evolva: A Comprehensive Approach to Ontology Evolution, European Semantic Web Conference (ESWC) PhD Symposium, Journal of the 6 th European Semantic Web Conference, pp.944-948, 2009.

D. Zhang and R. Et-cleaveland, Efficient temporal-logic query checking for presburger systems, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.24-33, 2005.
DOI : 10.1145/1101908.1101915

M. Gueffaz, Introduction au Model-Checking, 2009.

M. Gueffaz, Introduction aux graphes de données, 2010.

M. Gueffaz, Transformation de SPARQL vers LTL, Le2i, 2010.

M. Gueffaz, Transformation des requêtes SPARQL en requête utilisant la logique temporelle, 2010.

M. Gueffaz, Etat de l'art sur les différents algorithmes de résolution Model checking, 2011.

M. Gueffaz, Rapport de doctorat, 2011.

M. Gueffaz, La qualification sémantique dans le versioning d'ontologies, Le2i, 2011.

M. Gueffaz, Détection d'inconsistance dans l'évolution d'ontologie, 2011.

M. Gueffaz, Nouvelle version de l'outil RDF2SPIN, 2012.