Sciweavers

900 search results - page 68 / 180
» Formalizing Ontological Commitment
Sort
View
ASWC
2008
Springer
14 years 12 months ago
A Formal Model for Classifying Trusted Semantic Web Services
Abstract. Semantic Web Services (SWS) aim to alleviate Web service limitations, by combining Web service technologies with the potential of Semantic Web. Several open issues have t...
Stefania Galizia, Alessio Gugliotta, Carlos Pedrin...
ICCS
2007
Springer
14 years 11 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...
75
Voted
AAAI
1993
14 years 11 months ago
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
Chung Hee Hwang, Lenhart K. Schubert
IJSWIS
2007
171views more  IJSWIS 2007»
14 years 9 months ago
Experience in Aligning Anatomical Ontologies
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
Songmao Zhang, Olivier Bodenreider
ATAL
2009
Springer
14 years 11 months ago
Directed Deadline Obligations in Agent-Based Business Contracts
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
Henrique Lopes Cardoso, Eugénio C. Oliveira