3081 search results - page 24 / 617 » A Formal Ontology of Properties |
WWW
2006
ACM
16 years 14 days ago
2006
ACM
One of the main hurdles towards a wide endorsement of ontologies is the high cost of constructing them. Reuse of existing ontologies offers a much cheaper alternative than buildin...
LREC
2010
15 years 1 months ago
2010
Ontologies, and in particular upper ontologies, are foundational to the establishment of the Semantic Web. Upper ontologies are used as equivalence formalisms between domain speci...
103
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
EKAW
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...