Sciweavers

2705 search results - page 42 / 541
» Formal Ontology for Subject
Sort
View
APSEC
2005
IEEE
14 years 1 months ago
A Tools Environment for Developing and Reasoning about Ontologies
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...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun...
IJCAI
2003
13 years 9 months ago
Tucking RCC in Cyc's Ontological Bed
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...
Pierre Grenon
FSKD
2011
Springer
301views Fuzzy Logic» more  FSKD 2011»
12 years 7 months ago
Representation of Petri net with OWL DL ontology
—With the wide utilization of Petri nets, many researchers suggest that Petri nets should be reused and shared. Emerging the Semantic Web technologies, such as ontologies, can pl...
Fu Zhang, Z. M. Ma, Slobodan Ribaric
SEMWEB
2009
Springer
14 years 2 months ago
Measuring the Structural Preservation of Semantic Hierarchy Alignment
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...
Cliff Joslyn, Patrick Paulson, Amanda White
BIBE
2008
IEEE
101views Bioinformatics» more  BIBE 2008»
13 years 9 months ago
Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference v
We propose the use of formal ontological inferencing, rather than cladistics, to reconstruct phylogeny trees and to analyze the evolutionary relationships between species. For this...
Arash Shaban-Nejad, Volker Haarslev