Fernando Náufel do Amaral

Learn More
We present the structure of an ontology for Information Security (IS) and discuss a paradigm whereby it can be used to extract knowledge from natural language texts such as IS standards, security policies and security control descriptions. Besides providing a vocabulary for the IS domain, the proposed ontology stores logical forms corresponding to(More)
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represented (e.g., RDF, OWL, DL). Model outlines depart from this tradition in that they consist of diagrams characterizing the class of models of a given concept expression. We hope(More)
We present a structural model for (meta)heuristic search strategies for solving computational problems. The model is defined through the use of topos-theoretical tools and techniques, which provide an appropriate internal logic (with the language of local set theory) where objects of interest can be represented.
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization framework called “model outlines”, where more emphasis is placed on the semantics of concept descriptions than on their syntax. We present a rigorous definition of our visual(More)
Object-Oriented Software Development Fernando Náufel do Amaral and Edward Hermann Haeusler Department of Informatics PUC-RJ (Catholic University of Rio de Janeiro) – Brazil fnaufel, hermann @inf.puc-rio.br Abstract This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of(More)
  • 1