Notions of Indistinguishability for Semantic Web Languages

The paper reviews the notions of expressiveness of description logics from (N. Kurtonina and M. de Rijke. Expressiveness of concept expressions in first-order description logics. Artificial Intelligence, 107:303-333, 1999) and exemplifies their use in the development in Semantic Web languages. The notion of bisimulation--which characterizes the description logic ALC--provides a direct link to what's in the field of sociology called social network analysis. The perspective on data in this field--data are represented as labeled graphs--fits exactly the modeling intuitions of web languages like OIL and DAML+OIL. This is exemplified in the study of trophic networks. A further connection is established between web languages and hybrid logic, and an extension of OIL with a limited form of self reference is proposed.

[1]  Franz Baader,et al.  A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages , 1996, J. Log. Comput..

[2]  S. Lawrence.  Free online availability substantially increases a paper's impact , 2001, Nature.

[3]  Steve Lawren.  Online or invisible ? , 2001 .

[4]  John Scott.  What is social network analysis , 2010 .

[5]  Á. M. Hernáez.  Borgatti, Stephen; Martin Everett i Lin Freeman. UCINET IV. Network Analysis Software. Version 1.0. Columbia: Analytic Technologies, 1992 , 1995 .

[6]  Alexander Borgida,et al.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[7]  Maarten Marx.  Narcissists, Stepmothers and Spies , 2002, Description Logics.

[8]  Maurizio Lenzerini,et al.  Datalog and Description Logics: Expressive Power , 1997, APPIA-GULP-PRODE.

[9]  Bob J. Wielinga,et al.  Ontology-Based Photo Annotation , 2001, IEEE Intell. Syst..

[10]  J. Kamps,et al.  Words with attitude , 2002 .

[11]  Martin G. Everett,et al.  Network Role Analysis in the Study of Food Webs: An Application of Regular Role Coloration , 2001, J. Soc. Struct..

[12]  M. de Rijke,et al.  Expressiveness of Concept Expressions in First-Order Description Logics , 1999, Artif. Intell..

[13]  Diego Calvanese,et al.  Reasoning in Expressive Description Logics , 2001, Handbook of Automated Reasoning.

[14]  Jon Kleinberg,et al.  The Structure of the Web , 2001, Science.

[15]  Maarten Marx,et al.  Hybrid logics: characterization, interpolation and complexity , 2001, Journal of Symbolic Logic.

[16]  Jonathan H. Turner,et al.  Toward a Structural Theory of Action: Network Models of Social Structure, Perception and Action.Ronald S. Burt , 1985 .