Sciweavers

745 search results - page 5 / 149
» A Formal Ontology for a Computational Approach of Time and A...
Sort
View
CBMS
2006
IEEE
14 years 1 months ago
An Ontology-Driven Mediator for Querying Time-Oriented Biomedical Data
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
Martin J. O'Connor, Ravi Shankar, Amar K. Das
ISORC
2000
IEEE
13 years 11 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
SWWS
2008
13 years 9 months ago
A New Knowledge Representation Model to Support Multilingual Ontologies. A case Study
- Knowledge extraction methods have not efficiently evolved towards new methods to automate the process of building multilingual ontologies as the main representation of structured...
Jesús Cardeñosa, Carolina Gallardo, ...
SEMCO
2007
IEEE
14 years 1 months ago
Ontology Evaluation and Ranking using OntoQA
Ontologies form the cornerstone of the Semantic Web and are intended to help researchers to analyze and share knowledge, and as more ontologies are being introduced, it is difficu...
Samir Tartir, I. Budak Arpinar
AOSE
2005
Springer
14 years 1 months ago
Operational Modelling of Agent Autonomy: Theoretical Aspects and a Formal Language
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
Gerhard Weiß, Felix A. Fischer, Matthias Nic...