29 citations · 33 across the 6 of their papers we have counts for
6 papers
Some Preliminary Steps Towards Metaverse Logic
Antonio L. Furtado, Marco A. Casanova, Edirlei Soares de Lima
Assuming that the term 'metaverse' could be understood as a computer-based implementation of multiverse applications, we started to look in the present work for a logic that would…
A Note on Process Modelling: Combining Situation Calculus and Petri Nets
Edirlei Soares de Lima, Antonio L. Furtado, Bruno Feijó +1
The situation calculus logic model is convenient for modelling the actions that can occur in an information system application. The interplay of pre-conditions and post-conditions…
A Brief Survey on Replica Consistency in Cloud Environments
Robson A. Campêlo, Marco A. Casanova, Dorgival O. Guedes +1
Cloud computing is a general term that involves delivering hosted services over the Internet. With the accelerated growth of the volume of data used by applications, many organizat…
Computing Entity Semantic Similarity by Features Ranking
Livia Ruback, Claudio Lucchese, Alexander Arturo Mera Caraballo +3
This article presents a novel approach to estimate semantic entity similarity using entity features available as Linked Data. The key idea is to exploit ranked lists of features, e…
Ranking RDF Instances in Degree-decoupled RDF Graphs
Elisa S. Menendez, Marco A. Casanova, Mohand Boughanem +1
In the last decade, RDF emerged as a new kind of standardized data model, and a sizable body of knowledge from fields such as Information Retrieval was adapted to RDF graphs. One c…
An Algebra of Lightweight Ontologies
Marco A. Casanova, Rômulo Magalhães
This paper argues that certain ontology design problems are profitably addressed by treating ontologies as theories and by defining a set of operations that create new ontologies,…