Sciweavers

2521 search results - page 271 / 505
» Semantic Component Composition
Sort
View
103
Voted
TABLEAUX
1998
Springer
15 years 5 months ago
Fibring Semantic Tableaux
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
Bernhard Beckert, Dov M. Gabbay
110
Voted
MIE
2008
174views Healthcare» more  MIE 2008»
15 years 2 months ago
Semantic Web Ontology Utilization for Heart Failure Expert System Design
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
Marin Prcela, Dragan Gamberger, Alan Jovic
76
Voted
CORR
2008
Springer
100views Education» more  CORR 2008»
15 years 27 days ago
Edhibou: a Customizable Interface for Decision Support in a Semantic Portal
The Semantic Web is becoming more and more a reality, as the required technologies have reached an appropriate level of maturity. However, at this stage, it is important to provid...
Fadi Badra, Mathieu d'Aquin, Jean Lieber, Thomas M...
165
Voted
SEMWEB
2010
Springer
14 years 7 months ago
The role of space and time for knowledge organization on the Semantic Web
Space and time have not received much attention on the Semantic Web so far. While their importance has been recognized recently, existing work reduces them to simple latitude-longi...
Krzysztof Janowicz
SEMWEB
2007
Springer
15 years 7 months ago
A Caching Mechanism for Semantic Web Service Discovery
The discovery of suitable Web services for a given task is one of the central operations in Service-oriented Architectures (SOA), and research on Semantic Web services (SWS) aims a...
Michael Stollberg, Martin Hepp, Jörg Hoffmann