Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Reasoning about action I: a possible worlds approach
Artificial Intelligence
Updating logical databases
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Propositional belief base update and minimal change
Artificial Intelligence
Modern Information Retrieval
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Autonomous Agents and Multi-Agent Systems
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Importing the Semantic Web in UDDI
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Running AgentSpeak(L) Agents on SIM_AGENT
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Architectural styles and the design of network-based software architectures
Architectural styles and the design of network-based software architectures
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Automated semantic web service discovery with OWLS-MX
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Hierarchical planning in BDI agent programming languages: a formal approach
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
From SPARQL to rules (and back)
Proceedings of the 16th international conference on World Wide Web
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Bringing Semantics to Web Services with OWL-S
World Wide Web
SA-REST: Semantically Interoperable and Easier-to-Use Services and Mashups
IEEE Internet Computing
IRS-III: A broker-based approach to semantic Web services
Web Semantics: Science, Services and Agents on the World Wide Web
Two-Phase Web Service Discovery Based on Rich Functional Descriptions
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Semantic Service Discovery using SAWSDL and SPARQL
SKG '08 Proceedings of the 2008 Fourth International Conference on Semantics, Knowledge and Grid
WSMO-MX: A hybrid Semantic Web service matchmaker
Web Intelligence and Agent Systems
OWLS-MX: A hybrid Semantic Web service matchmaker for OWL-S services
Web Semantics: Science, Services and Agents on the World Wide Web
First principles planning in BDI systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Sometimes updates are circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A model-theoretic approach to the verification of situated reasoning systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The fundamentals of iSPARQL: a virtual triple approach for similarity-based semantic web tasks
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
The creation and evaluation of iSPARQL strategies for matchmaking
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Reactive reasoning and planning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Reasoning about web services in a temporal action logic
Reasoning, Action and Interaction in AI Theories and Systems
DC proposal: automation of service lifecycle on the cloud by using semantic technologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
iDetect: Content Based Monitoring of Complex Networks using Mobile Agents
Applied Soft Computing
Empower service directories with knowledge
Knowledge-Based Systems
RED'10 Proceedings of the Third international conference on Resource Discovery
Semantic context dissemination and service matchmaking in future network management
International Journal of Network Management
A semantic scoring approach for service offers
ICWE'12 Proceedings of the 12th international conference on Web Engineering
Federated management of the Future Internet: status and challenges
International Journal of Network Management
Improving semantic web services discovery using SPARQL-based repository filtering
Web Semantics: Science, Services and Agents on the World Wide Web
Expert Systems with Applications: An International Journal
Multimedia Tools and Applications
Semantic web services discovery based on I/O parameter relations
International Journal of Web and Grid Services
Expert Systems with Applications: An International Journal
Leveraging Incrementally Enriched Domain Knowledge to Enhance Service Categorization
International Journal of Web Services Research
Personalized web feeds based on ontology technologies
Information Systems Frontiers
Hi-index | 0.00 |
This paper describes a novel approach to the description and discovery of Semantic Web services. We propose SPARQL as a formal language to describe the preconditions and postconditions of services, as well as the goals of agents. In addition, we show that SPARQL query evaluation can be used to check the truth of preconditions in a given context, construct the postconditions that will result from the execution of a service in a context, and determine whether a service execution with those results will satisfy the goal of an agent. We also show how certain optimizations of these tasks can be implemented in our framework.