Dynamic evolutions based on ontologies

With the continuous changes in application requirements of the enterprises, Web resources must be updated, so do the underlying ontologies that are associated with the Web resources. In the situation, it is very challenging for ontological engineers to specify the changes of ontologies, keep their consistencies and achieve semantic query of Web resources based on the evolving ontologies. We propose a construct called Prioritized Knowledge Base (PKB) based on SHOQ(D) description logic, and discuss some properties of PKB. PKB can be used for describing the evolutions and updates of ontologies with conflicting information. Furthermore, we develop some algorithms for checking conflict rules and performing semantic query based on PKB.

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

[2]  Carl Bedingfield.  Review of "Spinning the semantic web: Bringing the world wide web to its full potential" edited by Dieter Fensel, James Hendler, Henry Lieberman, and Wolfgang Wahlster, The MIT press , 2003, UBIQ.

[3]  José Júlio Alferes,et al.  LUPSA language for updating logic programs , 1999, Artif. Intell..

[4]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[5]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[6]  Yan Zhang,et al.  Implementing Prioritized Logic Programming , 1999, ISMIS.

[7]  Norman Y. Foo,et al.  Towards Generalized Rule-based Updates , 1997, IJCAI.

[8]  Ian Horrocks,et al.  Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.

[9]  Heiner Stuckenschmidt,et al.  Ontology-Based Integration of Information - A Survey of Existing Approaches , 2001, OIS@IJCAI.

[10]  Ian Horrocks,et al.  OIL in a Nutshell , 2000, EKAW.

[11]  Stijn Heymans,et al.  A Defeasible Ontology Language , 2002, OTM.

[12]  Deborah L. McGuinness,et al.  Conceptual Modeling for Distributed Ontology Environments , 2000, ICCS.

[13]  Diego Calvanese,et al.  A Framework for Ontology Integration , 2001, The Emerging Semantic Web.

[14]  James A. Hendler,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2002 .

[15]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[16]  Boris Motik,et al.  Managing multiple and distributed ontologies on the Semantic Web , 2003, The VLDB Journal.

[17]  Yinglong Ma,et al.  A Formal Framework for Ontology Integration Based on a Default Extension to DDL , 2004, ICTAC.

[18]  James A. Hendler,et al.  Agents and the Semantic Web , 2001, IEEE Intell. Syst..

[19]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[20]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[21]  Deborah L. McGuinness,et al.  The Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30 - August 1, 2001 , 2002, The Emerging Semantic Web.

[22]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[23]  Boris Motik,et al.  Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases , 2003, KRDB.

[24]  Steffen Staab,et al.  Supporting application development in the Semantic Web , 2003 .

[25]  Boris Motik,et al.  User-Driven Ontology Evolution Management , 2002, EKAW.

[26]  Frank van Harmelen,et al.  Reviewing the design of DAML+OIL: an ontology language for the semantic web , 2002, AAAI/IAAI.

[27]  Ian Horrocks,et al.  Querying the Semantic Web: A Formal Approach , 2002, SEMWEB.

[28]  Riccardo Rosati,et al.  Towards expressive KR systems integrating datalog and description logics: preliminary report , 1999, Description Logics.

[29]  Michel C. A. Klein,et al.  Ontology versioning on the Semantic Web , 2001, SWWS.

[30]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.