Sciweavers

2308 search results - page 239 / 462
» Representing Symbolic Reasoning
Sort
View
FLAIRS
2008
15 years 9 months ago
Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
Neli P. Zlatareva, Maria Nisheva
SWAP
2008
15 years 8 months ago
Exploiting Semantic Technology in Computational Logic-based Service Contracting
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
Marco Alberti, Massimiliano Cattafi, Marco Gavanel...
SIS
2007
15 years 8 months ago
An Ontology for the Expression of Intellectual Property Entities and Relations
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
Víctor Rodríguez-Doncel, Marc Gauvin...
AAAI
2006
15 years 8 months ago
Finding Maximally Satisfiable Terminologies for the Description Logic ALC
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...
Thomas Andreas Meyer, Kevin Lee, Richard Booth, Je...
AMSTERDAM
2009
15 years 4 months ago
Cumulative Readings of Every Do Not Provide Evidence for Events and Thematic Roles
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
Lucas Champollion