446 search results - page 81 / 90 » A proof markup language for Semantic Web services |
83
Voted
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
WS
2010
ACM
14 years 7 months ago
2010
ACM
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications are Semantic Wikis, Semantic...
70
Voted
EDOC
2003
IEEE
15 years 2 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
94
Voted
AIM
2005
14 years 9 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
SKG
2006
IEEE
15 years 3 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...