3081 search results - page 85 / 617 » A Formal Ontology of Properties |
MATES
2005
Springer
15 years 5 months ago
2005
Springer
Because there is still no agreed-upon global ontology, Web services supplied by different providers typically have individual and unique semantics, described by independently devel...
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Ontologies are today a key part of every knowledge based system. They provide a source of shared and precisely defined terms, resulting in system interoperability by knowledge sha...
114
click to vote
BIB
2006
14 years 12 months ago
2006
: In recent years, as a knowledge-based discipline, bioinformatics has moved to make its knowledge more computationally amenable. After its beginnings in the disciplines as a techn...
101
click to vote
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
JAVACARD
2000
15 years 3 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...