3686 search results - page 411 / 738 » Indexing relations on the web |
162
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
180
Voted
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
140
Voted
ENTER
2009
Springer
15 years 11 months ago
2009
Springer
The Iceland Tourist Guide Association’s website (www.touristguide.is) represents the association online. Members find the news published on the association’s website and enews...
209
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
189
click to vote
FOIS
2006
15 years 8 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...