3081 search results - page 77 / 617 » A Formal Ontology of Properties |
ENTCS
2008
14 years 11 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
114
click to vote
EUMAS
2006
15 years 1 months ago
2006
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
117
click to vote
DEBU
2002
14 years 11 months ago
2002
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Abstract.