3081 search results - page 46 / 617 » A Formal Ontology of Properties |
109
click to vote
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
IJCAI
2003
15 years 1 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
FDL
2003
IEEE
15 years 5 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
We present a method to measure the amount of structural distortion carried by an alignment between two taxonomic cores of ontologies represented as semantic hierarchies. We present...