Sciweavers

3102 search results - page 331 / 621
» Using Agricultural Ontologies
Sort
View
SEKE
2005
Springer
16 years 4 days ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
SBIA
2004
Springer
16 years 35 min ago
Applying a Lexical Similarity Measure to Compare Portuguese Term Collections
The number of ontologies publicly available and accessible through the web has increased in the last years, so that the task of finding similar terms1 among these structures becom...
Marcirio Silveira Chaves, Vera Lúcia Strube...
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 12 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
SAC
2009
ACM
15 years 11 months ago
An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
Bernardo Gonçalves, Veruska Zamborlini, Gia...
ER
2009
Springer
137views Database» more  ER 2009»
15 years 11 months ago
Multi-level Conceptual Modeling and OWL
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...
Bernd Neumayr, Michael Schrefl