Towards a Semantic Web of Relational Databases: a Practical Semantic Toolkit and an In-Use Case from Traditional Chinese Medicine
|
|
|
- Delphia Golden
- 10 years ago
- Views:
Transcription
1 Towards a Semantic Web of Relational Databases: a Practical Semantic Toolkit and an In-Use Case from Traditional Chinese Medicine Huajun Chen 1, Yimin Wang 2, Heng Wang 1, Yuxin Mao 1, Jinmin Tang 1, Cunyin Zhou 1, Ainin Yin 3, and Zhaohui Wu 1 1 College of Computer Science, Zhejiang University, Hangzhou, , China {huajunsir,paulwang,maoyx,jmtang981,02rjgczcy,wzh}@zju.edu.cn 2 Institute AIFB, University of Karlsruhe, D-76128, Germany [email protected] 3 China Academy of Traditional Chinese Medicine, Beijing, , China [email protected] Abstract. Integrating relational databases is recently acknowledged as an important vision of the Semantic Web research, however there are not many wellimplemented tools and not many applications that are in large-scale real use either. This paper introduces the Dartgrid which is an application development framework together with a set of semantic tools to facilitate the integration of heterogenous relational databases using semantic web technologies. For examples, DartMapping is a visualized mapping tool to help DBA in defining semantic mappings from heterogeneous relational schemas to ontologies. DartQuery is an ontology-based query interface helping user to construct semantic queries, and capable of rewriting SPARQL semantic queries to a set of SQL queries. Dart- Search is an ontology-based search engine enabling user to make full-text search over all databases and to navigate across the search results semantically. It is also enriched with a concept ranking mechanism to enable user to find more accurate and reliable results. This toolkit has been used to develop an currently in-use application for China Academy of Traditional Chinese Medicine (CATCM). In this application, over 70 legacy relational databases are semantically interconnected by an ontology with over 70 classes and 800 properties, providing integrated semantic-enriched query, search and navigation services to TCM communities. 1 Introduction Up to date, many killer applications reported by the Semantic Web community often focus on processing the unstructured document data, using semantic annotation or various of learning, mining, and natural language processing techniques [1]. However, data in big organizations is normally stored in relational databases or other appropriately formatted documents. Over emphasizing on those applications, which handles unstructured document, may obscure the community from the fact that the essence of the Semantic Web comes from its similarity to a huge distributed database. To back up this
2 2 Huajun Chen, Yimin Wang et al. idea, consider the following statements made by Tim Berners-Lee in 2005 about his vision of the future Semantic Web 4....The Semantic Web is not about the meaning of documents. It s not about marking up existing HTML documents to let a computer understand what they say. It s not about the artificial intelligence areas of machine learning or natural language understanding... It is about the data which currently is in relational databases, XML documents, spreadsheets, and proprietary format data files, and all of which would be useful to have access to as one huge database... From this point of view, one of the way to realize the vision of Semantic Web is (i) to interconnect distributed located legacy databases using richer semantics, (ii) to provide ontology-based query, search and navigation as one huge distributed database, and (iii) to add additional deductive capabilities on the top to increase the usability and reusability of data. Fig. 1. Towards a semantic web of relational databases Besides, since most of the data is currently stored in relational databases, for semantic web to be really useful and successful, great efforts are required to offer methods and tools to support integration of heterogeneous relational databases. Dartgrid is an application development framework together with a set of practical semantic tools to facilitate the integration of heterogenous relational databases using semantic web technologies. In specific, DartMapping is a visualized mapping tool to help DBA in defining semantic mappings from heterogeneous relational schemas to ontologies. DartQuery is an ontology-based query interface helping user to construct semantic queries, and capable of rewriting SPARQL semantic queries to a set of SQL queries. DartSearch is an 4
3 Semantic Web of Relational Databases 3 ontology-based search engine enabling user to make full-text search over all databases and to navigate across the search results semantically. It is also enriched with a concept ranking mechanism to enable user to find more accurate and reliable results. Building upon Dartgrid, we have developed and deployed a semantic web application for China Academy of Traditional Chinese Medicine (CATCM) 56. It semantically interconnects over 70 legacy TCM databases by a formal TCM ontology with over 70 classes and 800 properties. The TCM ontology acts as a separate semantic layer to fill up the gaps among legacy databases with heterogeneous structures, which might be semantically interconnected. Users and machines only need to interact with the semantic layer, and the semantic interconnections allow them to start in one database, and then move around an extendable set of databases. The semantic layer also enables the system to answer semantic queries across several databases such as What diseases does this drug treat? or What kind of drugs can treat this disease?, not like the keyword-based searching mechanism provide by conventional search engines. The paper is organized as follows. Section 2 talks about the system architecture and technical features. Section 3 elaborates on the implementation of the semantic mediator and the visualized semantic mapping tool. Section 4 introduces the TCM semantic portals which provides semantic query and search services. Section 5 reports the user evaluation and lessons learned from this developing life-cycle. Section 6 mentions some related works. Section 7 gives the summary and our future directions. Please also note due to the special character of TCM research, in which the Chinese terminologies and definitions are not always interpretable, some figures in this paper contain Chinese search results and web interface. We have annotated all the necessary parts of the figures in English, and we would expect it would be sufficient to understand the functionalities of this application. 2 System Architecture and Technical Features 2.1 System Architecture As Fig. 2 depicted, there are four key components in the core of DartGrid. 1. Ontology Service is used to expose the shared ontologies that are defined using web ontology languages. Typically, the ontology is specified by a domain expert who is also in charge of the publishing, revision, extension of the ontology. 2. Semantic Registration Service maintains the semantic mapping information. Typically, database providers define the mappings from relational schema to domain ontology, and submit the registration entry to this service. 3. Semantic Query Service is used to process SPARQL semantic queries. Firstly, it gets mapping information from semantic registration service. Afterward, it translates the semantic queries into a set of SQL queries and dispatch them into specific databases. Finally, the results of SQL queries will be merged and transformed back to semantically-enriched format Demo videos
4 4 Huajun Chen, Yimin Wang et al. Fig. 2. System Architecture and Usage Senario 4. Search Service supports full-text search in all databases. The search results will be statistically calculated to yield a concepts ranking, which help user to get more appropriate and accurate results. 2.2 Technical Features The following four features that distinguish this application from other similar semantic data integration tools, which will be introduced in detail in Section 6. Semantic View and Visualized Semantic Mapping Tool. In our system, an ontology acts as the semantic mediator for heterogenous databases. Relational database schemas are mapped into corresponding classes or properties, and related by semantic relationship defined in this ontology. To be specific, the mappings are defined as semantic views, that is, each relational table is defined as a view over this shared ontology. Defining mappings is a labor-intensive and error-prone task. In our system, new database could be added into the system by using a visualized mapping tool. It provides many easy-of-use functionalities such as drag-and-drop mapping, mapping visualization, data source annotation and so on. SPARQL Query Rewriting with Additional Inference Capabilities. A view-based query rewriting algorithm is implemented to rewrite the SPARQL queries into a set of SQL queries. This algorithm extends earlier relational and XML techniques for rewriting queries using views, with consideration of the features of web ontology languages. Otherwise, this algorithm is also enriched by additional inference capabilities on predicates such as subclassof and subpropertyof. Ontology-based Semantic Query User Interface. A form-based query interface is offered to construct semantic queries over shared ontologies. It is automatically gen-
5 Semantic Web of Relational Databases 5 erated at runtime according to property definitions of classes, and will finally generate a SPARQL query. Intuitive Search Interface with Concepts Ranking and Semantic Navigation. This Googlelike search interface accepts one or more keywords and makes a complete full-text search in all databases. Users could semantically navigate in the search results, and move around an extendable set of databases based on the semantic relationships defined in the semantic layer. Meanwhile, the search system could generate a suggested list of concepts which are ranked based on their relevance to the keywords. Thereafter, users could explore into the semantic query interface of those concepts, and specify a semantic query on them to get more accurate and appropriate information. 3 Semantic Mediation 3.1 Semantic View and View-based Mapping In our system, databases are mediated and related by a shared ontology, and each relational table is mapped into one or more classes. For example, the mapping scenario in Fig. 3 illustrates relational schemas from two sources(w3c and ZJU), and a shared ontology (a part of the foaf ontology). Mappings are typically defined as views in conventional data integration systems in the form of GAV (global-as-view), LAV (local-as-view) [2]. Considering the case in this paper, GAV is to define each class or property as a view over relational tables, and LAV is to define each relational table as a view (or query) over the shared ontology. The experiences from conventional data integration systems tell us that LAV provides greater extensibility than GAV: the addition of new sources is less likely to require a change to the mediated schema [2]. In our TCM case, new databases are regularly added so total number of databases is increasing gradually. Therefore, the LAV approach is employed in our system, that is, each relational table is defined as a view over the ontologies. We call such kind of views as Semantic View. The lower part of Fig. 3 showcases how to represent the mappings as semantic views in a Datalog-like syntax. Like in conventional data integration, a typical semantic view consists of two parts. The left part is called the view head, and is a relational predicate. The right part is called the view body, and is a set of RDF triples. There are two kinds of variables in the view definitions. Those variables such as?en,?em,?eh,?pn,?ph are called distinguished variables, which will be assigned by an data or instance values from the database. Those variables such as?y1,?y2 are called existential variables. In general, the body can be viewed as a query over the ontology, and it defines the semantics of the relational predicate from the perspective of the ontology. The meaning of semantic view would be more clear if we construct a Target Instance based on the semantic mapping specified by these views. For example, given a relational tuple as below, applying the View-4 in Fig. 3 on this tuple will yield a set of RDF triples. Relational Tuple: w3c:emp("danbrickley","[email protected]", "SWAD","
6 6 Huajun Chen, Yimin Wang et al. Fig. 3. Mappings from two relational databases with different structures to an ontology.?en,?em,?eh,?pn,?ph are variables and represent employee name, employee , employee homepage, project name, project homepage, respectively. Yielded RDF triples by Applying View-4: _:bn1 rdf:type foaf:person; foaf:name "Dan Brickley"; foaf:mbox foaf:currentproject _:bn2. _:bn2 rdf:type foaf:project; foaf:name "SWAD"; foaf:homepage " One of the key notion is the newly generated blank node ID. As illustrated, corresponding to each existential variable?y in the view, a new blank node ID is generated. For examples, :bn1, :bn2 are both newly generated blank node IDs corresponding to the variables?y1,?y2 in View-4 respectively. This treatment of existential variable is in accordance with the RDF semantics, since blank nodes can be viewed as existential variables. We give the formal definition of the semantic view as below. More detailed Foudermental aspects about semantic view could be found in another paper [3]. Definition 1. Semantic View. Let V ar be a set of variable names. A typical semantic view is like the form :R( X) : G( X, Ȳ ), where : 1. R( X)is called the head of the view, and R is a relational predicate ; 2. G( X, Ȳ ) is called the body of the view, and G is a RDF graph with some nodes replaced by variables in V ar; 3. The X, Ȳ contain either variables or constants.the variables in X are called distinguished variables, and the variables in Ȳ are called existential variables.
7 Semantic Web of Relational Databases 7 Fig. 4. Visualized Semantic Mapping Tool 3.2 Visualized Semantic Mapping Tool The task of defining semantic mappings from relational schema to ontologies is burdensome and erroneous. Although we could develop tools to automate this process, it still can not be fully automated and requires humans involvement, especially for integration of databases with different schema structures. Fig. 4 displays the visualized mapping tool we developed to facilitate the task of defining semantic views. It has five panels. The DBRes panel displays the relational schemas, and the OntoSchem panel displays the shared ontology. The Mapping Panel visually displays the mappings from relational schemas to ontologies. Typically, user drag tables or columns from DBRes panel, and drag classes or properties from OntoSchem panel, then drop them into the mapping panel to establish the mappings. By simple drag-and-drop operations, users could easily specify which classes should be mapped into a table and which property should be mapped into a table column. After these operations, the tool automatically generates a registration entry, which is submit to the semantic registration service. Besides, user could use the Outline panel to browse and query previously defined mapping information, and use the Properties panel to specify some global information, such as namespace, or view the meta-information about the table.
8 8 Huajun Chen, Yimin Wang et al. Fig. 5. Dynamic Semantic Query Portal. Please note: because many Chinese medical terminologies are only available in Chinese language and they are not always interpretable, we have annotated all the necessary parts of the figures in English. Fig. 6. Semantic navigation through the query results.
9 Semantic Web of Relational Databases 9 4 TCM Semantic Portals The semantic mediator is designed to separate data providers and data consumers so that they only need to interact with the semantic layer. For example, developers could write applications using the shared ontology without the need of any knowledge about databases. Besides that, our system also offer two different kinds of user interfaces to support query and search services. 4.1 Dynamic Semantic Query Interface This form-like query interface is intended to facilitate users in constructing semantic queries. The query form is automatically generated according to class definitions. This design provides the extensibility of the whole system when ontology is updated with the changes of database schema, the interface could dynamically adapt to the updated shared ontology. Fig. 5 shows the situation how a TCM user constructs a semantic query. Starting from the ontology view panel on the left, user can browse the ontology tree and select the classes of interest. A query form corresponding to the property definitions of the selected class will be automatically generated and displayed in the middle. Then user can check and select the properties of interests or input query constraints into the text boxes. Accordingly, a SPARQL query is constructed and could be submit to the semantic query service, where the query will be rewritten into a set of SQL queries using mapping views contained in the semantic registration service. The query rewriting is a somewhat complicated process, and [3] gives the detailed introduction on the rewriting algorithm. In addition, user could define more complex queries. For example, depicted in the lower-middle part of Fig. 5, user could follow the links leading to related classes of the current class, and select more properties or input new query constraints. Fig. 6 shows the situation in which a TCM user is navigating the query results. Starting from selecting one result highlighted, the user can find out all of the related data entries by following the semantic links. Please note that in this example, the relations between the search results and those discovered by following the semantic links, are derived from the semantic layer. 4.2 Intuitive Search Interface with Concepts Ranking and Semantic Navigation Unlike the semantic query interface, this Google-like search interface just accepts one or more keywords and makes a complete full-text search in all databases. Fig. 7 shows the situation where a TCM user performs some search operations. Starting from inputting a keyword, the user can retrieve all of those data entries containing one or more hits of that keyword. Being similar to the case of the query interface, user could also semantically navigate the search results by following the semantic links listed with each entries. Meanwhile, the search system generates a list of suggested concepts which are displayed on the right part of the portal. They are ranked based on their relevance to the keywords. These concept links will lead the users to the dynamic query interface introduced in previous section. Thereafter, users could specify a semantic query on them to get more accurate and appropriate information. We call it as intuitive search because it could generate a list of concept suggestions to help user improve the search results.
10 10 Huajun Chen, Yimin Wang et al. Fig. 7. Intuitive Search Portal with Concept Ranking and Semantic Navigation 5 User Evaluation and Lesson Learned 5.1 Feedbacks from CATCM The first proof-of-concepts prototype was deployed during fall By using that prototype, we convinced CATCM partner to take the semantic web technologies to help them in managing their fast increasing TCM databases. After a thorough requirements analysis and with a careful redesign and re-engineering of the entire system, a more stable and user-friendly version was released in September 2005, and deployed at CATCM for open evaluation and real use. Currently, the system deployed at CATCM provides access to over 70 databases including TCM herbal medicine databases, TCM compound formula databases, clinical symptom databases, traditional Chinese drug database, traditional Tibetan drug database, TCM product and enterprise databases, and so on. The TCM shared ontology includes over 70 classes, 800 data or object properties. In general, users from CATCM reacted positively to the entire semantic web approach and our system. They indicated that the system provided an amazing solution for the semantic heterogeneity problem which had been troubling them for a long time. In particular, they gave high praise to the visualized semantic registration tool, and indicated that the features of semantic registration of new database considerably save them a lot of time when new database were developed and needed to be integrated. They also gave positive comments to the semantic portals as well, especially the semantic navigation functionality. They indicated that semantic interconnections among
11 Semantic Web of Relational Databases 11 different databases was indeed what they wanted. Nevertheless, we found most of the users prefer Google-like search to semantic query interface. Some of them complained that the learning cycle of using the semantic query interface was too long, although it could return more accurate results. They also said they would very like to use the concepts ranking functionality to get more accurate result by constructing further queries when the entries returned from search was overwhelming. 5.2 A Survey on the Usage of RDF/OWL Predicates RDF/OWL has offered us a range of predicates, but not all of them are useful for relational data integration. We made a survey on the usage of RDF/OWL predicates for relational database integration, and the results are indicated in table 1. In this survey, we invited ten developers who are familiar with both semantic web technologies and our system. They are asked with the same questions: From a practical view, what are those most important constructs do you think for relational data integration in semantic web, and are requested to write down some explanation for the reason of their choice. We summarize their comments and the score result as follows. Predicate E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 AVG rdf:datatype rdfs:subclassof rdfs:subpropertyof owl:inverseof owl:cardinality Table 1. The results for the survey of predicates usage. Data type support was considered to be important, because most commercial RDBMS has well-defined and unique data type system. RDFS predicates rdfs:subclassof and rdfs:subpropertyof have higher scores because they could enhance the query processing with additional inference capabilities. OWL predicate owl:inverseof is useful when defining relations in both directions which is a usual case in relation database integration. One of the developer indicated that predicate owl:inverseof could help to find more efficient rewritings in some cases. Predicate owl:cardinality is useful in adding more constraints to ensure the data integrity. Some other predicates are considered as useful include: owl:transitiveproperty, owl:symmetricproperty, owl:datatypeproperty, owl:objectproperty. Some of them thought both owl:transitiveproperty and owl:symmetricproperty could add additional deductive capabilities on top to yield more query results. owl:datatypeproperty and owl:object Property could be used to distinguish simple data value column and foreign key column.
12 12 Huajun Chen, Yimin Wang et al. 6 Related Works 6.1 Semantic Web Context In the Semantic Web community, semantic data integration has been always a noticeable research topic. In particular, there have been a number of works dealing with how to make contents of existing or legacy database available for semantic web applications. A typical one is D2RQ 7. D2RQ is a declarative language to describe mappings between relational database schemata and OWL/RDFS ontologies, and is implemented as a Jena plugin that rewrites RDQL queries into SQL queries. The result sets of these SQL queries are transformed into RDF triples that are passed up to the higher layers of the Jena framework. RDF Gateway 8 is a commercial software having similar functionalities. It connects legacy database resources to the Semantic Web via its SQL Data Service Interface. The SQL Data Service translates a RDF based query to a SQL query and returns the results as RDF data. Our system is different from D2RQ and RDF Gateway. We take the view-based mapping approach which has sound theoretical foundation, and we have visualized mapping tool and ontology-based query and search tool which are not offered by these two systems. Some other works propose direct manipulation of relational data to RDF/OWL format, and then the data could be processed by OWL reasoners or be integrated by ontological mapping tool. D2RMap, KAON REVERSE 9 and many other toolkits offer such kind of reverse engineering functionality. Cristian Perez de Laborda and colleagues [4] propose an ontology called Relation OWL to describe the relational schema as OWL, and then use this OWL-representation to transform relational data items into RDF/OWL and provide query service by RDQL. The shortcoming of this kind of approaches is that they have to dump all the relational data into RDF/OWL format before querying, which would be impractical if the RDBMS contains huge volume of data. Moreover, they did not consider the issue of integrating heterogeneous databases using formal ontologies, which is one of the focuses of our solution. Yuan An and colleagues [5] present an interesting paper concerning about defining semantic mappings between relational tables and ontologies within semantic web context. They introduce a tool which could automatically infer the LAV mapping formulas from simple predicate correspondences between relational schema and formal ontologies. Although completely automatic approach to define semantic mapping is difficult, it would be great enhancement to our visualized tool if some candidate mapping suggestions could be provided beforehand. That will be one of our future work. The DOPE project (Drug Ontology Project for Elsevier) [6] explores ways to provide access to multiple life science information sources through a single semantic interface called DOPE browser. However, it is still a document management system, mainly concerning on thesaurus-based search, RDF-based querying, and concept-based visualization of large online document repositories. It can not answer semantic queries such as What diseases does this drug treat? or What kind of drugs can treat this disease?. We ve seen the authors of DOPE are considering it as one of their future work
13 Semantic Web of Relational Databases 13 Piazza [7] is an interesting P2P-based data integration system with consideration of semantic web vision. But the current system has been implemented with the XML data model for its mapping language and query answering. However, we think P2P architecture would be a promising direction, and we are considering to extend our system to support P2P working mode and test its scalability and usability. For other related works, Dejing Dou and colleagues [8] propose an ontology-based framework called OntoGrate. It can automatically transform relational schema into ontological representation, and users can define the mappings at the ontological level using bridge-axioms. Francois [9] considers theoretic aspect of answering query using views for semantic web and Peter Haase and Boris Motik introduces a mapping system for OWL-DL ontology integration [10]. 6.2 Conventional Data Integration Context Without considering the semantic web technologies, our solution can be categorized to the topic answering query using view, which has been extensively studied in database community [2] [11]. Most previous works has been focused on the relational case [2], and XML case [12]. On the one hand, we believe it would be valuable for the semantic web community to take more consideration of the techniques that have been well studied in the database community such as answering query using view. On the other hand, we think that the semantic web research does raise a lot of new issues and challenges for database researchers. From our experiences, the challenges include: From our experiences, the challenges include: how to rank the data object just like the page rank of google? how to maintain highly evolvable and changeable schema mappings among an great number of and open-ended set of databases with no centralized control? Moreover, a lot of works have been done in the area of ontology-based data integration [13]. Many of them took some ontological formalism such as DL to mediate heterogenous databases, and used the view-based mapping approach. In comparison with them, our implementation is the case of RDF/OWL-based relational data integration with a semantic web vision in mind. 7 Summary and Future Work In this paper, we presented an in-use application of Traditional Chinese Medicine enhanced by a range of semantic web technologies, including RDF/OWL semantics and reasoning tools. The ultimate goal of this system is to realize the web of structured data vision by semantically interconnecting legacy databases, that allows a person, or a machine, to start in one database, and then move around an unending set of databases which are connected by rich semantics. To achieve this demanding goal, a set of convenient tools were developed, such as visualized semantic mapping tool, dynamic semantic query tool, and intuitive search tool with concepts ranking. Domain users from CATCM indicated that the system provided an amazing solution for the semantic heterogeneity problem troubling them for a long time.
14 14 Huajun Chen, Yimin Wang et al. Currently, although this project is complete, several updated functionalities are still in our consideration. To be specific, we are going to enhance the mapping tools with some heuristic rules to automate the mapping task as far as possible, just like the approach proposed by Yuan An and colleagues [5]. Otherwise, we will develop a more sophisticated mechanism to rank the data objects just like the page rank technology provided by popular search engines. Acknowledgements The authors research is supported by China 973 subprogram Semantic Grid for Traditional Chinese Medicine (NO.2003CB316906), China NSF program (NO. NSFC ) and the EU-IST NeOn project. We would thank the fruitful discussion and first hand evaluation from our colleagues and partners. References 1. Buitelaar, P., Olejnik, D., Sintek, M.: OntoLT: A protégé plug-in for ontology extraction from text. In: Proceedings of the International Semantic Web Conference (ISWC). (2003) 2. Halevy, A.Y.: Answering queries using views: A survey. The VLDB Journal. 10 (2001) Chen, H., Wu, Z., Wang, H., Mao, Y.: Rdf/rdfs-based relational database integration. In: ICDE. (2006) de Laborda, C.P., Conrad, S.: Bringing relational data into the semantic web using sparql and relational owl. In: International Workshop on Semantic Web and Database at ICDE (2006) An, Y., Borgida, A., Mylopoulos, J.: Inferring complex semantic mappings between relational tables and ontologies from simple correspondences. In: International Semantic Web Conference. (2005) Stuckenschmidt, H., van Harmelen, F., de Waard et al, A.: Exploring large document repositories with rdf technology: The dope project. IEEE Intelligent Systems. 19 (2004) Halevy, A.Y., Ives, Z.G., Madhavan, J., Mork, P., Suciu, D., Tatarinov, I.: The piazza peer data management system. IEEE Trans. Knowl. Data Eng (2004) Dou, D., LePendu, P., Kim, S., Qi, P.: Integrating databases into the semantic web through an ontology-based framework. In: International Workshop on Semantic Web and Database at ICDE (2006) Goasdoue, F.: Answering queries using views: a krdb perspective for the semantic web. ACM Transaction on Internet Technology. (2003) Haase, P., Motik, B.: A mapping system for the integration of owl-dl ontologies. In: IHIS 05: Proceedings of the first international workshop on Interoperability of heterogeneous information systems. (2005) Abiteboul, S., Duschka, O.M.: Complexity of answering queries using materialized views,. In: The Seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems,. (1998) Yu, C., Popa, L.: Constraint-based xml query rewriting for data integration. In: 2004 ACM SIGMOD international conference on Management of data. (2004) Wache, H., Vögele, T., Visser, U., Stuckenschmidt, H., Schuster, G., Neumann, H., Hubner, S.: Ontology-based integration of information - a survey of existing approaches. In Stuckenschmidt, H., ed.: IJCAI01 Workshop: Ontologies and Information Sharing. (2001)
Semantic Web Development in China
Semantic Web Development in China Outline Web development in China Semantic Web communities in China Semantic Web projects in China IODT from IBM Research China Falcon from Southeast University APEX from
INTEGRATION OF XML DATA IN PEER-TO-PEER E-COMMERCE APPLICATIONS
INTEGRATION OF XML DATA IN PEER-TO-PEER E-COMMERCE APPLICATIONS Tadeusz Pankowski 1,2 1 Institute of Control and Information Engineering Poznan University of Technology Pl. M.S.-Curie 5, 60-965 Poznan
OWL based XML Data Integration
OWL based XML Data Integration Manjula Shenoy K Manipal University CSE MIT Manipal, India K.C.Shet, PhD. N.I.T.K. CSE, Suratkal Karnataka, India U. Dinesh Acharya, PhD. ManipalUniversity CSE MIT, Manipal,
Supporting Change-Aware Semantic Web Services
Supporting Change-Aware Semantic Web Services Annika Hinze Department of Computer Science, University of Waikato, New Zealand [email protected] Abstract. The Semantic Web is not only evolving into
Creating an RDF Graph from a Relational Database Using SPARQL
Creating an RDF Graph from a Relational Database Using SPARQL Ayoub Oudani, Mohamed Bahaj*, Ilias Cherti Department of Mathematics and Informatics, University Hassan I, FSTS, Settat, Morocco. * Corresponding
Web-Based Genomic Information Integration with Gene Ontology
Web-Based Genomic Information Integration with Gene Ontology Kai Xu 1 IMAGEN group, National ICT Australia, Sydney, Australia, [email protected] Abstract. Despite the dramatic growth of online genomic
CitationBase: A social tagging management portal for references
CitationBase: A social tagging management portal for references Martin Hofmann Department of Computer Science, University of Innsbruck, Austria [email protected] Ying Ding School of Library and Information Science,
SEMANTIC WEB BASED INFERENCE MODEL FOR LARGE SCALE ONTOLOGIES FROM BIG DATA
SEMANTIC WEB BASED INFERENCE MODEL FOR LARGE SCALE ONTOLOGIES FROM BIG DATA J.RAVI RAJESH PG Scholar Rajalakshmi engineering college Thandalam, Chennai. [email protected] Mrs.
The Ontology and Architecture for an Academic Social Network
www.ijcsi.org 22 The Ontology and Architecture for an Academic Social Network Moharram Challenger Computer Engineering Department, Islamic Azad University Shabestar Branch, Shabestar, East Azerbaijan,
Performance Analysis, Data Sharing, Tools Integration: New Approach based on Ontology
Performance Analysis, Data Sharing, Tools Integration: New Approach based on Ontology Hong-Linh Truong Institute for Software Science, University of Vienna, Austria [email protected] Thomas Fahringer
KEYWORD SEARCH IN RELATIONAL DATABASES
KEYWORD SEARCH IN RELATIONAL DATABASES N.Divya Bharathi 1 1 PG Scholar, Department of Computer Science and Engineering, ABSTRACT Adhiyamaan College of Engineering, Hosur, (India). Data mining refers to
Research on Distributed Knowledge Base System Architecture for Knowledge Sharing of Virtual Organization
Research on Distributed Knowledge Base System Architecture for Knowledge Sharing of Virtual Organization Ruzhi Xu 1,2 Peiguang Lin 1 Cheng Liu 1 1 School of Computer & Information Engineering, Shandong
A generic approach for data integration using RDF, OWL and XML
A generic approach for data integration using RDF, OWL and XML Miguel A. Macias-Garcia, Victor J. Sosa-Sosa, and Ivan Lopez-Arevalo Laboratory of Information Technology (LTI) CINVESTAV-TAMAULIPAS Km 6
How To Use Networked Ontology In E Health
A practical approach to create ontology networks in e-health: The NeOn take Tomás Pariente Lobo 1, *, Germán Herrero Cárcel 1, 1 A TOS Research and Innovation, ATOS Origin SAE, 28037 Madrid, Spain. Abstract.
Semantic Knowledge Management System. Paripati Lohith Kumar. School of Information Technology
Semantic Knowledge Management System Paripati Lohith Kumar School of Information Technology Vellore Institute of Technology University, Vellore, India. [email protected] Abstract The scholarly activities
The Role of Ontologies in Data Integration
The Role of Ontologies in Data Integration Isabel F. Cruz Huiyong Xiao ADVIS Lab Department of Computer Science University of Illinois at Chicago, USA {ifc hxiao}@cs.uic.edu Abstract In this paper, we
Semantic Search in Portals using Ontologies
Semantic Search in Portals using Ontologies Wallace Anacleto Pinheiro Ana Maria de C. Moura Military Institute of Engineering - IME/RJ Department of Computer Engineering - Rio de Janeiro - Brazil [awallace,anamoura]@de9.ime.eb.br
Application of OASIS Integrated Collaboration Object Model (ICOM) with Oracle Database 11g Semantic Technologies
Application of OASIS Integrated Collaboration Object Model (ICOM) with Oracle Database 11g Semantic Technologies Zhe Wu Ramesh Vasudevan Eric S. Chan Oracle Deirdre Lee, Laura Dragan DERI A Presentation
Design and Implementation of a Semantic Web Solution for Real-time Reservoir Management
Design and Implementation of a Semantic Web Solution for Real-time Reservoir Management Ram Soma 2, Amol Bakshi 1, Kanwal Gupta 3, Will Da Sie 2, Viktor Prasanna 1 1 University of Southern California,
Training Management System for Aircraft Engineering: indexing and retrieval of Corporate Learning Object
Training Management System for Aircraft Engineering: indexing and retrieval of Corporate Learning Object Anne Monceaux 1, Joanna Guss 1 1 EADS-CCR, Centreda 1, 4 Avenue Didier Daurat 31700 Blagnac France
Semantic Modeling with RDF. DBTech ExtWorkshop on Database Modeling and Semantic Modeling Lili Aunimo
DBTech ExtWorkshop on Database Modeling and Semantic Modeling Lili Aunimo Expected Outcomes You will learn: Basic concepts related to ontologies Semantic model Semantic web Basic features of RDF and RDF
Lightweight Data Integration using the WebComposition Data Grid Service
Lightweight Data Integration using the WebComposition Data Grid Service Ralph Sommermeier 1, Andreas Heil 2, Martin Gaedke 1 1 Chemnitz University of Technology, Faculty of Computer Science, Distributed
THE SEMANTIC WEB AND IT`S APPLICATIONS
15-16 September 2011, BULGARIA 1 Proceedings of the International Conference on Information Technologies (InfoTech-2011) 15-16 September 2011, Bulgaria THE SEMANTIC WEB AND IT`S APPLICATIONS Dimitar Vuldzhev
Model Driven Interoperability through Semantic Annotations using SoaML and ODM
Model Driven Interoperability through Semantic Annotations using SoaML and ODM JiuCheng Xu*, ZhaoYang Bai*, Arne J.Berre*, Odd Christer Brovig** *SINTEF, Pb. 124 Blindern, NO-0314 Oslo, Norway (e-mail:
Semantic Web Services for e-learning: Engineering and Technology Domain
Web s for e-learning: Engineering and Technology Domain Krupali Shah and Jayant Gadge Abstract E learning has gained its importance over the traditional classroom learning techniques in past few decades.
An Ontology Based Method to Solve Query Identifier Heterogeneity in Post- Genomic Clinical Trials
ehealth Beyond the Horizon Get IT There S.K. Andersen et al. (Eds.) IOS Press, 2008 2008 Organizing Committee of MIE 2008. All rights reserved. 3 An Ontology Based Method to Solve Query Identifier Heterogeneity
Semantic Web Technologies and Data Management
Semantic Web Technologies and Data Management Li Ma, Jing Mei, Yue Pan Krishna Kulkarni Achille Fokoue, Anand Ranganathan IBM China Research Laboratory IBM Software Group IBM Watson Research Center Bei
Reverse Engineering of Relational Databases to Ontologies: An Approach Based on an Analysis of HTML Forms
Reverse Engineering of Relational Databases to Ontologies: An Approach Based on an Analysis of HTML Forms Irina Astrova 1, Bela Stantic 2 1 Tallinn University of Technology, Ehitajate tee 5, 19086 Tallinn,
Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM)
Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM) Extended Abstract Ioanna Koffina 1, Giorgos Serfiotis 1, Vassilis Christophides 1, Val Tannen
Developing Web 3.0. Nova Spivak & Lew Tucker http://radarnetworks.com/ Tim Boudreau http://weblogs.java.net/blog/timboudreau/
Developing Web 3.0 Nova Spivak & Lew Tucker http://radarnetworks.com/ Tim Boudreau http://weblogs.java.net/blog/timboudreau/ Henry Story http://blogs.sun.com/bblfish 2007 JavaOne SM Conference Session
Semantic Stored Procedures Programming Environment and performance analysis
Semantic Stored Procedures Programming Environment and performance analysis Marjan Efremov 1, Vladimir Zdraveski 2, Petar Ristoski 2, Dimitar Trajanov 2 1 Open Mind Solutions Skopje, bul. Kliment Ohridski
A Framework for Collaborative Project Planning Using Semantic Web Technology
A Framework for Collaborative Project Planning Using Semantic Web Technology Lijun Shen 1 and David K.H. Chua 2 Abstract Semantic web technology has become an enabling technology for machines to automatically
Annotation: An Approach for Building Semantic Web Library
Appl. Math. Inf. Sci. 6 No. 1 pp. 133-143 (2012) Applied Mathematics & Information Sciences @ 2012 NSP Natural Sciences Publishing Cor. Annotation: An Approach for Building Semantic Web Library Hadeel
Application of ontologies for the integration of network monitoring platforms
Application of ontologies for the integration of network monitoring platforms Jorge E. López de Vergara, Javier Aracil, Jesús Martínez, Alfredo Salvador, José Alberto Hernández Networking Research Group,
BUSINESS VALUE OF SEMANTIC TECHNOLOGY
BUSINESS VALUE OF SEMANTIC TECHNOLOGY Preliminary Findings Industry Advisory Council Emerging Technology (ET) SIG Information Sharing & Collaboration Committee July 15, 2005 Mills Davis Managing Director
ONTOLOGY-BASED APPROACH TO DEVELOPMENT OF ADJUSTABLE KNOWLEDGE INTERNET PORTAL FOR SUPPORT OF RESEARCH ACTIVITIY
ONTOLOGY-BASED APPROACH TO DEVELOPMENT OF ADJUSTABLE KNOWLEDGE INTERNET PORTAL FOR SUPPORT OF RESEARCH ACTIVITIY Yu. A. Zagorulko, O. I. Borovikova, S. V. Bulgakov, E. A. Sidorova 1 A.P.Ershov s Institute
Annotea and Semantic Web Supported Collaboration
Annotea and Semantic Web Supported Collaboration Marja-Riitta Koivunen, Ph.D. Annotea project Abstract Like any other technology, the Semantic Web cannot succeed if the applications using it do not serve
Semantic Exploration of Archived Product Lifecycle Metadata under Schema and Instance Evolution
Semantic Exploration of Archived Lifecycle Metadata under Schema and Instance Evolution Jörg Brunsmann Faculty of Mathematics and Computer Science, University of Hagen, D-58097 Hagen, Germany [email protected]
Linked Data Interface, Semantics and a T-Box Triple Store for Microsoft SharePoint
Linked Data Interface, Semantics and a T-Box Triple Store for Microsoft SharePoint Christian Fillies 1 and Frauke Weichhardt 1 1 Semtation GmbH, Geschw.-Scholl-Str. 38, 14771 Potsdam, Germany {cfillies,
Characterizing Knowledge on the Semantic Web with Watson
Characterizing Knowledge on the Semantic Web with Watson Mathieu d Aquin, Claudio Baldassarre, Laurian Gridinoc, Sofia Angeletou, Marta Sabou, and Enrico Motta Knowledge Media Institute (KMi), The Open
Ontology-Based Discovery of Workflow Activity Patterns
Ontology-Based Discovery of Workflow Activity Patterns Diogo R. Ferreira 1, Susana Alves 1, Lucinéia H. Thom 2 1 IST Technical University of Lisbon, Portugal {diogo.ferreira,susana.alves}@ist.utl.pt 2
Understanding Web personalization with Web Usage Mining and its Application: Recommender System
Understanding Web personalization with Web Usage Mining and its Application: Recommender System Manoj Swami 1, Prof. Manasi Kulkarni 2 1 M.Tech (Computer-NIMS), VJTI, Mumbai. 2 Department of Computer Technology,
Semantic Data Management. Xavier Lopez, Ph.D., Director, Spatial & Semantic Technologies
Semantic Data Management Xavier Lopez, Ph.D., Director, Spatial & Semantic Technologies 1 Enterprise Information Challenge Source: Oracle customer 2 Vision of Semantically Linked Data The Network of Collaborative
Data Integration using Semantic Technology: A use case
Data Integration using Semantic Technology: A use case Jürgen Angele, ontoprise GmbH, Germany Michael Gesmann, Software AG, Germany Abstract For the integration of data that resides in autonomous data
APPLYING CASE BASED REASONING IN AGILE SOFTWARE DEVELOPMENT
APPLYING CASE BASED REASONING IN AGILE SOFTWARE DEVELOPMENT AIMAN TURANI Associate Prof., Faculty of computer science and Engineering, TAIBAH University, Medina, KSA E-mail: [email protected] ABSTRACT
EXPLOITING FOLKSONOMIES AND ONTOLOGIES IN AN E-BUSINESS APPLICATION
EXPLOITING FOLKSONOMIES AND ONTOLOGIES IN AN E-BUSINESS APPLICATION Anna Goy and Diego Magro Dipartimento di Informatica, Università di Torino C. Svizzera, 185, I-10149 Italy ABSTRACT This paper proposes
A Secure Mediator for Integrating Multiple Level Access Control Policies
A Secure Mediator for Integrating Multiple Level Access Control Policies Isabel F. Cruz Rigel Gjomemo Mirko Orsini ADVIS Lab Department of Computer Science University of Illinois at Chicago {ifc rgjomemo
SWAP: ONTOLOGY-BASED KNOWLEDGE MANAGEMENT WITH PEER-TO-PEER TECHNOLOGY
SWAP: ONTOLOGY-BASED KNOWLEDGE MANAGEMENT WITH PEER-TO-PEER TECHNOLOGY M. EHRIG, C. TEMPICH AND S. STAAB Institute AIFB University of Karlsruhe 76128 Karlsruhe, Germany E-mail: {meh,cte,sst}@aifb.uni-karlsruhe.de
DLDB: Extending Relational Databases to Support Semantic Web Queries
DLDB: Extending Relational Databases to Support Semantic Web Queries Zhengxiang Pan (Lehigh University, USA [email protected]) Jeff Heflin (Lehigh University, USA [email protected]) Abstract: We
An Ontology-based e-learning System for Network Security
An Ontology-based e-learning System for Network Security Yoshihito Takahashi, Tomomi Abiko, Eriko Negishi Sendai National College of Technology [email protected] Goichi Itabashi Graduate School
XOP: Sharing XML Data Objects through Peer-to-Peer Networks
22nd International Conference on Advanced Information Networking and Applications XOP: Sharing XML Data Objects through Peer-to-Peer Networks Itamar de Rezende, Frank Siqueira Department of Informatics
Scalable End-User Access to Big Data http://www.optique-project.eu/ HELLENIC REPUBLIC National and Kapodistrian University of Athens
Scalable End-User Access to Big Data http://www.optique-project.eu/ HELLENIC REPUBLIC National and Kapodistrian University of Athens 1 Optique: Improving the competitiveness of European industry For many
DISCOVERING RESUME INFORMATION USING LINKED DATA
DISCOVERING RESUME INFORMATION USING LINKED DATA Ujjal Marjit 1, Kumar Sharma 2 and Utpal Biswas 3 1 C.I.R.M, University Kalyani, Kalyani (West Bengal) India [email protected] 2 Department of Computer
HEALTH INFORMATION MANAGEMENT ON SEMANTIC WEB :(SEMANTIC HIM)
HEALTH INFORMATION MANAGEMENT ON SEMANTIC WEB :(SEMANTIC HIM) Nasim Khozoie Department of Computer Engineering,yasuj branch, Islamic Azad University, yasuj, Iran [email protected] ABSTRACT Information
Explorer's Guide to the Semantic Web
Explorer's Guide to the Semantic Web THOMAS B. PASSIN 11 MANNING Greenwich (74 w. long.) contents preface xiii acknowledgments xv about this booh xvii The Semantic Web 1 1.1 What is the Semantic Web? 3
A CIM-Based Framework for Utility Big Data Analytics
A CIM-Based Framework for Utility Big Data Analytics Jun Zhu John Baranowski James Shen Power Info LLC Andrew Ford Albert Electrical PJM Interconnect LLC System Operator Overview Opportunities & Challenges
From Databases to Natural Language: The Unusual Direction
From Databases to Natural Language: The Unusual Direction Yannis Ioannidis Dept. of Informatics & Telecommunications, MaDgIK Lab University of Athens, Hellas (Greece) [email protected] http://www.di.uoa.gr/
Secure Semantic Web Service Using SAML
Secure Semantic Web Service Using SAML JOO-YOUNG LEE and KI-YOUNG MOON Information Security Department Electronics and Telecommunications Research Institute 161 Gajeong-dong, Yuseong-gu, Daejeon KOREA
Semantically Enhanced Web Personalization Approaches and Techniques
Semantically Enhanced Web Personalization Approaches and Techniques Dario Vuljani, Lidia Rovan, Mirta Baranovi Faculty of Electrical Engineering and Computing, University of Zagreb Unska 3, HR-10000 Zagreb,
Use of OWL and SWRL for Semantic Relational Database Translation
Use of OWL and SWRL for Semantic Relational Database Translation Matthew Fisher, Mike Dean, Greg Joiner BBN Technologies, 1300 N. 17th Street, Suite 400, Arlington, VA 22209 {mfisher, mdean, gjoiner}@bbn.com
Information Services for Smart Grids
Smart Grid and Renewable Energy, 2009, 8 12 Published Online September 2009 (http://www.scirp.org/journal/sgre/). ABSTRACT Interconnected and integrated electrical power systems, by their very dynamic
Automatic Annotation Wrapper Generation and Mining Web Database Search Result
Automatic Annotation Wrapper Generation and Mining Web Database Search Result V.Yogam 1, K.Umamaheswari 2 1 PG student, ME Software Engineering, Anna University (BIT campus), Trichy, Tamil nadu, India
A Semantic web approach for e-learning platforms
A Semantic web approach for e-learning platforms Miguel B. Alves 1 1 Laboratório de Sistemas de Informação, ESTG-IPVC 4900-348 Viana do Castelo. [email protected] Abstract. When lecturers publish contents
Perspectives of Semantic Web in E- Commerce
Perspectives of Semantic Web in E- Commerce B. VijayaLakshmi M.Tech (CSE), KIET, A.GauthamiLatha Dept. of CSE, VIIT, Dr. Y. Srinivas Dept. of IT, GITAM University, Mr. K.Rajesh Dept. of MCA, KIET, ABSTRACT
RDF Dataset Management Framework for Data.go.th
RDF Dataset Management Framework for Data.go.th Pattama Krataithong 1,2, Marut Buranarach 1, and Thepchai Supnithi 1 1 Language and Semantic Technology Laboratory National Electronics and Computer Technology
TRENDS IN THE DEVELOPMENT OF BUSINESS INTELLIGENCE SYSTEMS
9 8 TRENDS IN THE DEVELOPMENT OF BUSINESS INTELLIGENCE SYSTEMS Assist. Prof. Latinka Todoranova Econ Lit C 810 Information technology is a highly dynamic field of research. As part of it, business intelligence
Web Database Integration
Web Database Integration Wei Liu School of Information Renmin University of China Beijing, 100872, China [email protected] Xiaofeng Meng School of Information Renmin University of China Beijing, 100872,
Big Data Management Assessed Coursework Two Big Data vs Semantic Web F21BD
Big Data Management Assessed Coursework Two Big Data vs Semantic Web F21BD Boris Mocialov (H00180016) MSc Software Engineering Heriot-Watt University, Edinburgh April 5, 2015 1 1 Introduction The purpose
A Case Study of Question Answering in Automatic Tourism Service Packaging
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 13, Special Issue Sofia 2013 Print ISSN: 1311-9702; Online ISSN: 1314-4081 DOI: 10.2478/cait-2013-0045 A Case Study of Question
HadoopSPARQL : A Hadoop-based Engine for Multiple SPARQL Query Answering
HadoopSPARQL : A Hadoop-based Engine for Multiple SPARQL Query Answering Chang Liu 1 Jun Qu 1 Guilin Qi 2 Haofen Wang 1 Yong Yu 1 1 Shanghai Jiaotong University, China {liuchang,qujun51319, whfcarter,yyu}@apex.sjtu.edu.cn
Grid Data Integration based on Schema-mapping
Grid Data Integration based on Schema-mapping Carmela Comito and Domenico Talia DEIS, University of Calabria, Via P. Bucci 41 c, 87036 Rende, Italy {ccomito, talia}@deis.unical.it http://www.deis.unical.it/
Test Data Management Concepts
Test Data Management Concepts BIZDATAX IS AN EKOBIT BRAND Executive Summary Test Data Management (TDM), as a part of the quality assurance (QA) process is more than ever in the focus among IT organizations
LDIF - Linked Data Integration Framework
LDIF - Linked Data Integration Framework Andreas Schultz 1, Andrea Matteini 2, Robert Isele 1, Christian Bizer 1, and Christian Becker 2 1. Web-based Systems Group, Freie Universität Berlin, Germany [email protected],
A Job Recruitment System Using Semantic Web Technology
A Job Recruitment System Using Semantic Web Technology P. Niaphruek Department of Computer Science, Faculty of Science, Rajamangala University of Technology Thanyaburi, Klong 6, Thanyaburi, Pathumthani
LinkZoo: A linked data platform for collaborative management of heterogeneous resources
LinkZoo: A linked data platform for collaborative management of heterogeneous resources Marios Meimaris, George Alexiou, George Papastefanatos Institute for the Management of Information Systems, Research
BUSINESS RULES AS PART OF INFORMATION SYSTEMS LIFE CYCLE: POSSIBLE SCENARIOS Kestutis Kapocius 1,2,3, Gintautas Garsva 1,2,4
International Conference 20th EURO Mini Conference Continuous Optimization and Knowledge-Based Technologies (EurOPT-2008) May 20 23, 2008, Neringa, LITHUANIA ISBN 978-9955-28-283-9 L. Sakalauskas, G.W.
A View Integration Approach to Dynamic Composition of Web Services
A View Integration Approach to Dynamic Composition of Web Services Snehal Thakkar, Craig A. Knoblock, and José Luis Ambite University of Southern California/ Information Sciences Institute 4676 Admiralty
Semantic Web based e-learning System for Sports Domain
Semantic Web based e-learning System for Sports Domain S.Muthu lakshmi Research Scholar Dept.of Information Science & Technology Anna University, Chennai G.V.Uma Professor & Research Supervisor Dept.of
New Generation of Social Networks Based on Semantic Web Technologies: the Importance of Social Data Portability
New Generation of Social Networks Based on Semantic Web Technologies: the Importance of Social Data Portability Liana Razmerita 1, Martynas Jusevičius 2, Rokas Firantas 2 Copenhagen Business School, Denmark
Peer Data Management Systems Concepts and Approaches
Peer Data Management Systems Concepts and Approaches Armin Roth HPI, Potsdam, Germany Nov. 10, 2010 Armin Roth (HPI, Potsdam, Germany) Peer Data Management Systems Nov. 10, 2010 1 / 28 Agenda 1 Large-scale
Taming Big Data Variety with Semantic Graph Databases. Evren Sirin CTO Complexible
Taming Big Data Variety with Semantic Graph Databases Evren Sirin CTO Complexible About Complexible Semantic Tech leader since 2006 (née Clark & Parsia) software, consulting W3C leadership Offices in DC
Automatic Timeline Construction For Computer Forensics Purposes
Automatic Timeline Construction For Computer Forensics Purposes Yoan Chabot, Aurélie Bertaux, Christophe Nicolle and Tahar Kechadi CheckSem Team, Laboratoire Le2i, UMR CNRS 6306 Faculté des sciences Mirande,
