Fernando Náufel do Amaral

According to our database, Fernando Náufel do Amaral authored at least 8 papers between 2000 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Model outlines: A visual language for DL concept descriptions.

Fernando Náufel do Amaral

Semantic Web, 2013

2010

Usability of a Visual Language for DL Concept Descriptions.

Fernando Náufel do Amaral

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

2008

Visualizing the semantics (not the syntax) of concept descriptions.

Fernando Náufel do Amaral

Proceedings of the Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web, 2008

Visualization of Description Logic Models.

Fernando Náufel do Amaral, Carlos Bazilio Martins

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Using the Internal Logic of a Topos to Model Search Spaces for Problems.

Fernando Náufel do Amaral, Edward Hermann Haeusler

Log. J. IGPL, 2007

2006

An Ontology-based Approach to the Formalization of Information Security Policies.

Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2004

Teoria de Modelos para HeuríSticas Baseada EM Topoi.

Fernando Náufel do Amaral

PhD thesis, 2004

2000

A logic-based approach for real-time object-oriented software development.

Fernando Náufel do Amaral, Edward Hermann Haeusler

RITA, 2000