Sciweavers

3081 search results - page 29 / 617
» A Formal Ontology of Properties
Sort
View
GLVLSI
1999
IEEE
74views VLSI» more  GLVLSI 1999»
15 years 4 months ago
Formal Checking of Properties in Complex Systems Using Abstractions
Dinos Moundanos, Jacob A. Abraham
ICTAI
2008
IEEE
15 years 6 months ago
Integrating YAGO into the Suggested Upper Merged Ontology
Ontologies are becoming more and more popular as background knowledge for intelligent applications. Up to now, there has been a schism between manually assembled, highly axiomatic...
Gerard de Melo, Fabian M. Suchanek, Adam Pease
BIS
2009
131views Business» more  BIS 2009»
15 years 28 days ago
Organisational Ontology Framework for Semantic Business Process Management
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...
Agata Filipowska, Martin Hepp, Monika Kaczmarek, I...
CAISE
2006
Springer
15 years 3 months ago
Metadata-Based Matching Framework for Ontologies
Current algorithms cannot be used optimally in (semi)automatic ontology matching tasks as envisioned by the Semantic Web community, mainly because of the inherent dependency betwee...
Malgorzata Mochol