论文信息 - Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications

Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications

We present an abstract model of the Semantic Web stack, using algebraic specifications. This work is a first step towards a unifying framework for the various Semantic Web technologies that will allow reasoning tasks to be performed, via rewriting and behavioral logic.

Panagiotis Frangos | Petros S. Stefaneas | Nikolaos Triantafyllou | Katerina Ksystra

[1] Razvan Diaconescu. Behavioural specification for hierarchical object composition , 2005, Theor. Comput. Sci..

[2] Kazuhiro Ogata,et al. Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method , 2006, Essays Dedicated to Joseph A. Goguen.

[3] Tetsuo Tamai,et al. CAFE: An Industrial-Strength Algebraic Formal Method , 2000 .

[4] Razvan Diaconescu,et al. Logical foundations of CafeOBJ , 2002, Theor. Comput. Sci..

[5] Razvan Diaconescu,et al. Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification , 1998, AMAST Series in Computing.

[6] Kazuhiro Ogata,et al. Proof Scores in the OTS/CafeOBJ Method , 2003, FMOODS.

[7] Razvan Diaconescu,et al. Component-Based Algebraic Specification and Verification in CafeOBJ , 1999, World Congress on Formal Methods.

[8] José Meseguer,et al. Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations , 1992, Theor. Comput. Sci..

[9] Petros S. Stefaneas,et al. On the Algebraic Semantics of Reactive Rules , 2012, RuleML.

[10] Dorel Lucanu,et al. Concurrent object composition in CafeOBJ , 1998 .

[11] Kokichi Futatsugi,et al. Chapter 2 – CafeOBJ Jewels , 2000 .

[12] Christoph Lange,et al. Towards a Standard for Heterogeneous Ontology Integration and Interoperability , 2011 .