Sciweavers

1154 search results - page 134 / 231
» Semantic Context Reasoning Using Ontology Based Models
Sort
View
SEMWEB
2009
Springer
15 years 11 months ago
KOSIMap: Ontology Alignments Results for OAEI 2009
Abstract. Ontology mapping has been recognised as an important approach to identifying similar information in heterogeneous ontologies. The Knowledge Organisation System Implicit M...
Quentin Reul, Jeff Z. Pan
AIPS
1994
15 years 5 months ago
Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
George Ferguson, James F. Allen
ECWEB
2007
Springer
144views ECommerce» more  ECWEB 2007»
15 years 10 months ago
Structural and Semantic Similarity Metrics for Web Service Matchmaking
Service matchmaking is the process of finding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...
Akin Günay, Pinar Yolum
WISE
2005
Springer
15 years 10 months ago
Peer-to-Peer Technology Usage in Web Service Discovery and Matchmaking
This paper presents a dynamic and scalable mechanism for discovery of semantically enriched descriptions of Web services. By employing Web Service Modeling Ontology (WSMO) as the u...
Brahmananda Sapkota, Laurentiu Vasiliu, Ioan Toma,...
TPHOL
2007
IEEE
15 years 10 months ago
Using XCAP to Certify Realistic Systems Code: Machine Context Management
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
Zhaozhong Ni, Dachuan Yu, Zhong Shao