Sciweavers

1722 search results - page 75 / 345
» Ontology Formalism Transformation
Sort
View
CSSE
2008
IEEE
15 years 2 months ago
The Design and Implementation of Ontology and Rules Based Knowledge Base for Transportation
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...
Gang Cheng, Qingyun Du, Hongli Ma
ICFP
2003
ACM
16 years 18 days ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
104
Voted
HICSS
2005
IEEE
125views Biometrics» more  HICSS 2005»
15 years 6 months ago
An Ontological Approach for Recovering Legacy Business Content
— Legacy Information Systems (LIS) pose a challenge for many organizations. On one hand, LIS are viewed as aging systems needing replacement; on the other hand, years of accumula...
Aseem Daga, Sergio de Cesare, Mark Lycett, Christo...
JSAI
2005
Springer
15 years 6 months ago
Towards Ontologies of Functionality and Semantic Annotation for Technical Knowledge Management
Abstract. This research aims at promoting sharing of knowledge about functionality of artifacts among engineers, which tends to be implicit in practice. In order to provide a conce...
Yoshinobu Kitamura, Naoya Washio, Yusuke Koji, Rii...
112
Voted
CORR
2010
Springer
170views Education» more  CORR 2010»
15 years 21 days ago
Rule-based Generation of Diff Evolution Mappings between Ontology Versions
Ontologies such as taxonomies, product catalogs or web directories are heavily used and hence evolve frequently to meet new requirements or to better reflect the current instance d...
Michael Hartung, Anika Gross, Erhard Rahm