Sciweavers

2705 search results - page 70 / 541
» Formal Ontology for Subject
Sort
View
ESWS
2004
Springer
14 years 1 months ago
Formal Support for Representing and Automating Semantic Interoperability
Semantic interoperability has become a key issue for realizing the Semantic Web in its full potential. However, there is a lot of controversy regarding the meaning and scope of the...
Yannis Kalfoglou, W. Marco Schorlemmer
ASWC
2008
Springer
13 years 9 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
13 years 9 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...
AAAI
1993
13 years 9 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»
13 years 7 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