Sciweavers

1722 search results - page 82 / 345
» Ontology Formalism Transformation
Sort
View
CL
2000
Springer
15 years 14 days ago
A Formal Model for an Expressive Fragment of XSLT
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
Geert Jan Bex, Sebastian Maneth, Frank Neven
TSE
2011
107views more  TSE 2011»
14 years 7 months ago
Deriving a Slicing Algorithm via FermaT Transformations
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
Martin P. Ward, Hussein Zedan
90
Voted
ISVC
2007
Springer
15 years 6 months ago
Building Petri Nets from Video Event Ontologies
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
Gal Lavee, Artyom Borzin, Ehud Rivlin, Michael Rud...
130
Voted
IAT
2009
IEEE
15 years 4 months ago
A Multi Facet Representation of a Fuzzy Ontology Population
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Sab...
ECTEL
2008
Springer
15 years 2 months ago
The Evolution of Social Ontologies
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...
Nicolas Weber