2500 search results - page 223 / 500 » Logical Semantics of Modularisation |
188
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
194
click to vote
REST
2010
ACM
15 years 8 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
171
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
170
click to vote
AIMSA
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
176
click to vote
RULEML
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...