591 search results - page 77 / 119 » Formal Semantics and Ontologies - Towards an Ontological Acc... |
OWLED
2007
13 years 9 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
COOPIS
2002
IEEE
14 years 24 days ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...