665 search results - page 107 / 133 » A proposal for an owl rules language |
172
click to vote
DEXA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
182
click to vote
DIAGRAMS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
165
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
168
click to vote
IJET
2006
15 years 6 months ago
2006
: The challenge of the semantic web is the provision of distributed information with well defined meaning, understandable for different parties. Particularly, applications should b...
124
click to vote
ACL
2010
15 years 4 months ago
2010
Tree-to-string systems (and their forestbased extensions) have gained steady popularity thanks to their simplicity and efficiency, but there is a major limitation: they are unable...