Sciweavers

1722 search results - page 77 / 345
» Ontology Formalism Transformation
Sort
View
BMCBI
2010
105views more  BMCBI 2010»
15 years 23 days ago
The Neural/Immune Gene Ontology: clipping the Gene Ontology for neurological and immunological systems
Background: The Gene Ontology (GO) is used to describe genes and gene products from many organisms. When used for functional annotation of microarray data, GO is often slimmed by ...
Nophar Geifman, Alon Monsonego, Eitan Rubin
105
Voted
BPM
2008
Springer
136views Business» more  BPM 2008»
15 years 2 months ago
On the Formal Generation of Process Redesigns
Business Process Redesign (BPR) is a process oriented methodology to improve organizations. Although literature on BPR is available in abundance, little concrete support on how to ...
Mariska Netjes, Hajo A. Reijers, Wil M. P. van der...
ICEGOV
2007
ACM
15 years 4 months ago
Formal threat descriptions for enhancing governmental risk assessment
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
Andreas Ekelhart, Stefan Fenz, Thomas Neubauer, Ed...
BIOINFORMATICS
2007
72views more  BIOINFORMATICS 2007»
15 years 23 days ago
The qualitative and time-dependent character of spatial relations in biomedical ontologies
The formal representation of mereological aspects of canonical anatomy (parthood relations) is relatively well understood. The formal representation of other aspects of canonical ...
Thomas Bittner, Louis J. Goldberg
116
Voted
ASWC
2009
Springer
15 years 4 months ago
Reasoning about Partially Ordered Web Service Activities in PSL
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...
Michael Gruninger, Xing Tan