Sciweavers

1722 search results - page 76 / 345
» Ontology Formalism Transformation
Sort
View
84
Voted
IPPS
2000
IEEE
15 years 5 months ago
Automatic Implementation of Distributed Systems Formal Specifications
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
Luiz Henrique Castelo Branco, Antônio Franci...
ASWEC
2005
IEEE
15 years 6 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
109
Voted
JODS
2006
148views Data Mining» more  JODS 2006»
15 years 18 days ago
Discovering the Semantics of Relational Tables Through Mappings
Abstract. Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relatio...
Yuan An, Alexander Borgida, John Mylopoulos
86
Voted
AAAI
2008
15 years 3 months ago
On the Decidability of Role Mappings between Modular Ontologies
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
Jie Bao, George Voutsadakis, Giora Slutzki, Vasant...
77
Voted
FOIS
2006
15 years 2 months ago
An Algebra for Composing Ontologies
Ontologies are used as a means of expressing agreements to a vocabulary shared by a community in a coherent and consistent manner. As it happens in the Internet, ontologies are cr...
Saket Kaushik, Csilla Farkas, Duminda Wijesekera, ...