Sciweavers

1036 search results - page 27 / 208
» A Functional Semantic Web Architecture
Sort
View
ENTCS
2007
82views more  ENTCS 2007»
14 years 11 months ago
Web Interfaces for Proof Assistants
This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functio...
Cezary Kaliszyk
IS
2006
14 years 11 months ago
Artemis: Deploying semantically enriched Web services in the healthcare domain
An essential element in defining the semantic of Web services is the domain knowledge. Medical informatics is one of the few domains to have considerable domain knowledge exposed ...
Asuman Dogac, Gokce Laleci, Serkan Kirbas, Yildira...
GCC
2003
Springer
15 years 5 months ago
Toward the Composition of Semantic Web Services
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
Jinghai Rao, Xiaomeng Su
IADIS
2004
15 years 1 months ago
Integrating query and hypertext modeling in web information systems development
MIDAS is a model-driven methodology for Web Information Systems development based on the OMG's Model Driven Architecture. It proposes to use UML to describe different views o...
José María Cavero, Esperanza Marcos,...
BMCBI
2010
149views more  BMCBI 2010»
14 years 12 months ago
S3DB core: a framework for RDF generation and management in bioinformatics infrastructures
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
Jonas S. Almeida, Helena F. Deus, Wolfgang Maass