论文信息 - O-Telos-RDF: An Extension of RDF with Enhanced Meta-Modeling and Reification Functionalities

O-Telos-RDF: An Extension of RDF with Enhanced Meta-Modeling and Reification Functionalities

In this paperwe describethe formalization of an RDF(S) extension we call O-Telos-RDF, which provides enhancedfunctionalitiesfor metamodelingandreifiedstatements. Theaxiomaticformalizationis basedvery closely on the formalizationof the modelinglanguageO-Telos,which is basedon a semanticnetworkmodelquitesimilar to RDF(S),andhasbeen usedasa (meta)modelinglanguagein variousapplicationareasduringthe last10 years.

[1] Wolfgang Nejdl,et al. The RDF Schema Specification Revisited , 2000 .

[2] Manfred A. Jeusfeld,et al. Anderungskontrolle in deduktiven Objektbanken , 1992 .

[3] Ian Horrocks,et al. Metamodeling Architecture of Web Ontology Languages , 2001, SWWS.

[4] Huaiqing Wang,et al. Implementing Telos , 1991, SGAR.

[5] Roy T. Fielding,et al. Uniform Resource Identifiers (URI): Generic Syntax , 1998, RFC.

[6] Dan Brickley,et al. Resource description framework (RDF) schema specification , 1998 .

[7] Ora Lassila,et al. W3c resource description framework (rdf) model and syntax specification , 1998 .