Reasoning and change management in modular fuzzy ontologies

Abstract The growing emphasis on complexity concerns for ontologies has attracted significant interest from both the researcher’s and the practitioner’s communities in modularization techniques as a way to decrease the complexity of managing huge ontologies. On the other hand, it has been widely pointed out that classical ontologies are not appropriate to deal with imprecise and vague knowledge, which is inherent to several real world domains. In order to handle these types of knowledge, some fuzzy extensions of classical ontologies are presented, yielding fuzzy ontologies. In this paper, we integrate modular ontologies with fuzzy ontologies, i.e., the notion of modular fuzzy ontologies is presented. Furthermore, we present an infrastructure for the representation of and reasoning with modular fuzzy ontologies based on distributed fuzzy description logics.

[1]  Siu Cheung Hui,et al.  Automatic fuzzy ontology generation for semantic help-desk support , 2006, IEEE Transactions on Industrial Informatics.

[2]  Ju Wang,et al.  Reasoning within expressive fuzzy rough description logics , 2009, Fuzzy Sets and Systems.

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

[4]  Stefanos D. Kollias,et al.  Uncertainty and the Semantic Web , 2006, IEEE Intelligent Systems.

[5]  Fernando Bobillo,et al.  Crisp Representations and Reasoning for Fuzzy Ontologies , 2009, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[6]  Petr Hájek,et al.  Making fuzzy description logic more general , 2005, Fuzzy Sets Syst..

[7]  Ju Wang,et al.  Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies , 2010, Expert Syst. Appl..

[8]  Werner Nutt,et al.  A Refined Architecture for Terminological Systems: Terminology = Schema + Views , 1998, Artif. Intell..

[9]  G. Stamou,et al.  Reasoning with Very Expressive Fuzzy Description Logics , 2007, J. Artif. Intell. Res..

[10]  Adolfo Guzmán-Arenas,et al.  Knowledge accumulation through automatic merging of ontologies , 2010, Expert Syst. Appl..

[11]  Jean-François Baget,et al.  Extending SPARQL with regular expression patterns (for querying RDF) , 2009, J. Web Semant..

[12]  Ju Wang,et al.  Reasoning within intuitionistic fuzzy rough description logics , 2009, Inf. Sci..

[13]  Suqin Tang,et al.  Reasoning with rough description logics: An approximate concepts approach , 2008, Information Sciences.

[14]  Baowen Xu,et al.  A Distributed and Fuzzy Extension of Description Logics , 2006, KES.

[15]  Umberto Straccia,et al.  fuzzyDL: An expressive fuzzy description logic reasoner , 2008, 2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence).

[16]  Umberto Straccia,et al.  Fuzzy description logics under Gödel semantics , 2009, Int. J. Approx. Reason..

[17]  Frank van Harmelen,et al.  Contextualizing ontologies , 2004, J. Web Semant..

[18]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[19]  Siu Cheung Hui,et al.  Automatic fuzzy ontology generation for semantic Web , 2006, IEEE Transactions on Knowledge and Data Engineering.

[20]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[21]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[22]  Chin-Wan Chung,et al.  An intelligent query processing for distributed ontologies , 2010, J. Syst. Softw..

[23]  Ian Horrocks,et al.  Conjunctive Query Answering for the Description Logic SHIQ , 2007, IJCAI.

[24]  John Yen,et al.  Generalizing Term Subsumption Languages to Fuzzy Logic , 1991, IJCAI.

[25]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[26]  Silvia Calegari,et al.  Fuzzy Ontology, Fuzzy Description Logics and Fuzzy-OWL , 2007, WILF.

[27]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[28]  Dongwoo Kang,et al.  An OWL-based semantic business process monitoring framework , 2009, Expert Syst. Appl..

[29]  Nicolette de Keizer,et al.  Protégé as a Vehicle for Developing Medical Terminological Systems , 2005, Int. J. Hum. Comput. Stud..

[30]  Umberto Straccia,et al.  Managing uncertainty and vagueness in description logics for the Semantic Web , 2008, J. Web Semant..

[31]  Nicola Guarino,et al.  Ontologies and Knowledge Bases. Towards a Terminological Clarification , 1995 .

[32]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993 .

[33]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[34]  Bijan Parsia,et al.  Combining OWL ontologies using epsilon-Connections , 2006, J. Web Semant..

[35]  Jeongsoo Lee,et al.  An ontology-based Enterprise Architecture , 2010, Expert Syst. Appl..

[36]  Michel C. A. Klein,et al.  Reasoning and change management in modular ontologies , 2007, Data Knowl. Eng..

[37]  Chang-Shing Lee,et al.  A fuzzy ontology and its application to news summarization , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[38]  Fernando Bobillo,et al.  DeLorean: A Reasoner for Fuzzy OWL 1.1 , 2008, URSW.

[39]  Umberto Straccia,et al.  Fuzzy description logics with general t-norms and datatypes , 2009, Fuzzy Sets Syst..

[40]  Ian Horrocks,et al.  Fuzzy OWL: Uncertainty and the Semantic Web , 2005, OWLED.

[41]  Stefano Spaccapietra,et al.  Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization , 2009, Modular Ontologies.

[42]  Michel C. A. Klein,et al.  Change Management for Distributed Ontologies , 2004 .

[43]  Diego Calvanese,et al.  The description logic handbook: theory , 2003 .

[44]  Alan L. Rector,et al.  Modularisation of domain ontologies implemented in description logics and related formalisms including OWL , 2003, K-CAP '03.

[45]  Nicolaas J. I. Mars,et al.  Towards very large knowledge bases, knowledge building and knowledge sharing 1995 , 1995 .

[46]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[47]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[48]  Ian Horrocks,et al.  Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..

[49]  Chun-Che Huang,et al.  Sharing knowledge in a supply chain using the semantic web , 2010, Expert Syst. Appl..

[50]  Umberto Straccia,et al.  An OWL Ontology for Fuzzy OWL 2 , 2009, ISMIS.

[51]  Alexander Borgida,et al.  Aspects of Distributed and Modular Ontology Reasoning , 2005, IJCAI.

[52]  Umberto Straccia,et al.  A fuzzy description logic for the semantic web , 2006, Fuzzy Logic and the Semantic Web.

[53]  Ju Wang,et al.  Expressive fuzzy description logics over lattices , 2010, Knowl. Based Syst..

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

[55]  Volker Haarslev,et al.  A formal framework for description logics with uncertainty , 2009, Int. J. Approx. Reason..

[56]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.

[57]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[58]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.