Sciweavers

2016 search results - page 81 / 404
» Tool Support for Ontology Engineering
Sort
View
BMCBI
2010
153views more  BMCBI 2010»
15 years 6 months ago
GOAL: A software tool for assessing biological significance of genes groups
Background: Modern high throughput experimental techniques such as DNA microarrays often result in large lists of genes. Computational biology tools such as clustering are then us...
Alain B. Tchagang, Alexander Gawronski, Hugo B&eac...
SEKE
2005
Springer
15 years 11 months 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
ICTAC
2004
Springer
15 years 11 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
ATAL
2005
Springer
15 years 11 months ago
Prometheus design tool
The Prometheus Design Tool is a graphical editor which supports the design tasks specified within the Prometheus methodology for designing agent systems. The tool propagates info...
John Thangarajah, Lin Padgham, Michael Winikoff
VISSOFT
2005
IEEE
15 years 11 months ago
Support for Static Concept Location with sv3D
The paper presents a new visualization approach to support static concept location in source code. The approach is realized through the combination of two existing tools: IRiSS, w...
Xinrong Xie, Denys Poshyvanyk, Andrian Marcus