New Ontological Alignment System Based on a Non-monotonic Description Logic

The choice of the representation formalism of the knowledge manipulated on the Web thanks to the ontologies is a crucial point which can conditioned their use. We must be capable of assuring a maximum of expressiveness in the definition of ontologies’ concepts and relations by taking into account the normal context aspect and the exception one. The second very important point is the simultaneous use of several ontologies in a purpose of sharing information. This use became possible thanks to the ontology alignment. It is based on the syntactic, semantic and structural similarities of the different input ontologies. To write the ontology concepts, we propose in this work, a non-monotonic description logic whose semantics is algebraic-based. Then, based on this representation formalism, we show how to improve the measure used to compute the structural similarity.

[1]  Erhard Rahm,et al.  Web, Web-Services, and Database Systems , 2003, Lecture Notes in Computer Science.

[2]  Robert Hoehndorf,et al.  Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies , 2007, BMC Bioinformatics.

[3]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[4]  Erhard Rahm,et al.  Comparison of Schema Matching Evaluations , 2002, Web, Web-Services, and Database Systems.

[5]  Aïcha Mokhtari,et al.  A dynamic access control model , 2010, Applied Intelligence.

[6]  S. K. Srivatsa,et al.  A Study of Different Ontology Matching System , 2012 .

[7]  Natalya F. Noy Using Non-Local Context for Semantic Matching , 2001, IJCAI 2001.

[8]  Jérôme Euzenat,et al.  Ontology Matching: State of the Art and Future Challenges , 2013, IEEE Transactions on Knowledge and Data Engineering.

[9]  Boris Motik,et al.  Closed World Reasoning in the Semantic Web through Epistemic Operators , 2005, OWLED.

[10]  Mark A. Musen,et al.  Anchor-PROMPT: Using Non-Local Context for Semantic Matching , 2001, OIS@IJCAI.

[11]  Victor W. Marek,et al.  Uniform semantic treatment of default and autoepistemic logics , 2000, Artif. Intell..

[12]  Christophe Fouqueré,et al.  Extending Conceptual Definitions with Default Knowledge , 1997, Comput. Intell..

[13]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[14]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[15]  Lacheheb Hadjer,et al.  Cooperative Agents for ontology Alignment , 2013, IIMSS.