Sciweavers

553 search results - page 36 / 111
» Phoenix Tool: A Support to Semantic Learning Model
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 5 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
CII
2010
87views more  CII 2010»
14 years 12 months ago
The Unified Enterprise Modelling Language - Overview and further work
: The Unified Enterprise Modelling Language (UEML) aims to support integrated use of enterprise and IS models expressed in a variety of languages. The achieve this aim, UEML provid...
Víctor Anaya, Giuseppe Berio, Mounira Harza...
ENTCS
2007
116views more  ENTCS 2007»
14 years 11 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
WWW
2005
ACM
16 years 14 days ago
Learning domain ontologies for Web service descriptions: an experiment in bioinformatics
The reasoning tasks that can be performed with semantic web service descriptions depend on the quality of the domain ontologies used to create these descriptions. However, buildin...
Marta Sabou, Chris Wroe, Carole A. Goble, Gilad Mi...
DEXAW
2004
IEEE
82views Database» more  DEXAW 2004»
15 years 3 months ago
Semantic Interoperability of Field-based Thematic Geographic Information
A model for semantic interoperability among a repository of geographic datasets from different providers is proposed in this article. Specifically, this approach focuses on qualif...
Toni Navarrete, Josep Blat, Maurici Ruiz