3081 search results - page 16 / 617 » A Formal Ontology of Properties |
ER
2007
Springer
15 years 6 months ago
2007
Springer
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
155
click to vote
FOMI
2011
13 years 11 months ago
2011
Abstract. In this paper three perspectives are presented on defining the general notion of technical artifacts in formal ontologies. These perspectives share two intuitions: that ...
ER
2000
Springer
15 years 3 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
116
click to vote
IDA
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. One of the most interesting challenges in Knowledge Discovery in Databases (KDD) eld is giving support to users in the composition of tools for forming a valid and useful...
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...