446 search results - page 37 / 90 » A proof markup language for Semantic Web services |
152
click to vote
IJSWIS
2007
15 years 6 months ago
2007
We describe our research on automatically generating rich semantic annotations of text and making it available on the Semantic Web. In particular, we discuss the challenges involv...
189
click to vote
OWLED
2007
15 years 7 months ago
2007
Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained con...
161
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Today, the travel information services are dominantly provided by Global Distribution Systems (GDS). The Global Distribution Systems provide access to real time availability and p...
170
click to vote
SOCASE
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
150
click to vote
EEE
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes an extension of the ebXML registry for publishing and discovering mathematical service descriptions. The MathBroker registry is able to handle descriptions gi...