13,195 research outputs found
Oppositions in a line segment
Traditional oppositions are at least two-dimensional in the sense that they
are built based on a famous bidimensional object called square of oppositions
and on one of its extensions such as Blanch\'e's hexagon. Instead of
two-dimensional objects, this article proposes a construction to deal with
oppositions in a one-dimensional line segment.Comment: This is the version accepted for publication (South American Journal
of Logic, 2018
Logics and Their Galaxies
This article introduces some concepts that help exploring the ontological
import of universal logic. It studies the notions of an antilogic and counterlogic associated
to each logic and shows some of their properties. It presents the notion of
galaxy, as the class of possible worlds compatible with a given logic.We explore some
consequences of these developments
Fronteiras contingentes e conhecimento limitado
Este artigo mostra que combinando as noções lógicas de 'contingência' e 'conhecimento' nós podemos formular uma tese cética de acordo com a qual 'o mundo não pode ser conhecido'. Além disso, ele mostra que tal tese é plausível do ponto de vista epistemológico
Cidade, moda, identidade e globalização
Estava a tomar café numa esplanada da Foz, ouvindo sem querer, mas a querer, uma conversa de duas senhoras de voz grave e fumadoras, como deve ser, que apreciavam com olhares gulosos alguns jovens surfistas que entravam e saiam do mar, vestidos com aqueles maravilhosos fatos pretos colados ao corpo. Alguns vestiam-nos ou despiam-nos bem perto de nós. Os cabelos não tinham gel, tinham sal e muitos eram loiros, cor da areia. Um strip masculino, pelo preço de um café! O sol aquecia e sentia-se, naquele princípio de primavera, o seu brilho no mar, o desabrochar da natureza, da sensualidade, do desejo, que a todos, tias, surfistas eu próprio, atingiam
Construções sistêmicas e leis de interação
A partir de uma definição específica de sistema filosófico, este texto apresenta princípios condutores gerais para guiar o filósofo que deseja criar e propor sistemas. Além disso, este artigo mostra como tais complexos conceituais podem ser definidos com o uso de leis interativas, ligando noções de diferentes naturezas e esclarecendo a estrutura lógica dos sistemas filosóficos. Este artigo contém ainda comparações entre a presente abordagem e a recente desenvolvida por Puntel
Geografías afectivas, cuerpos fronterizos: (in)movilidades en La Jaula de Oro
IX Congresso Brasileiro de Hispanistas realizado nos dias 22 a 25 agosto 2016El presente trabajo se propone analizar la película La Jaula de Oro (2013) del director Diego
QuemadaDíez. La película nos muestra la trayectoria de los jóvenes Sara, Juan, Samuel y del indio
de etnia tzotzil Chauk, que parten de barrios y comunidades marginales de Guatemala rumbo a los
Estados Unidos en búsqueda de otras experiencias y perspectivas. Esta comunicación pretende
acompañar el desplazamiento emprendido por los personajes que, al atravesar diversos paisajes
rurales y barrios periféricos entre Guatemala y la frontera de México con EE.UU., hacen visibles
los espacios de adhesión emotiva (Massey, 2015) y las nuevas geografías de la rabia y del miedo
(Appadurai, 2006) que componen la cartografía de las regiones “perdedoras” de la actualidad. Más
allá del análisis de los espacios atravesados por los personajes, esta comunicación se detendrá en
las performances corporales de los protagonistas. El objetivo es observar de qué modo mujeres,
inmigrantes y sujetos racializados intentan resistir a los procesos de exclusión de que son objeto,
cómo intentan atravesar imaginarios identitarios que hacen que sus cuerpos estén expuestos a
diferentes tipos de violenciaUNILA-UNIOEST
Poder constituinte e democracia : um debate necessário
Artigo que trata sobre a temática do poder
constituinte, que tem sido objeto de reflexão por parte de cientistas políticos, juristas e sociólogos desde a sua concepção, esboçada na prática constituinte
norte-americana e elaborada
por Sièyes no século XVIII no
curso da Revolução Francesa
Oppositions in a point
Following a previous article (cf. Costa-Leite, A. (2018). Oppositions in a line segment, South American Journal of Logic, 4(1), pp.185-193) in which
logical oppositions are defined in a line segment, this
article goes one step further and proposes a method defining them
using a zero-dimensional object: a point
Oppositions in a point
Following a previous article (cf. Costa-Leite, A. (2018). Oppositions in a line segment, South American Journal of Logic, 4(1), pp.185-193) in which
logical oppositions are defined in a line segment, this
article goes one step further and proposes a method defining them
using a zero-dimensional object: a point
ONTODL+: an ontology description language and its compiler
Dissertação de mestrado em Engenharia InformáticaOntologies are very powerful tools when it comes to handling knowledge. They offer a good
solution to exchange, store, search and infer large volumes of information. Throughout the
years various solutions for knowledge-based systems use ontologies at their core.
OntoDL has been developed as a Domain Specific Language using ANTLR4, to allow for
the specification of ontologies. This language has already been used by experts of various
fields has a way to use computer-based solutions to solve their problems.
In this thesis, included on the second year of the Master degree in Informatics Engineering,
OntoDL+ was created as an expansion of the original OntoDL. Both the language and
its compiler have been improved. The language was extended to improve usability and
productivity for its users, while ensuring an easy to learn and understand language. The
compiler was expanded to translate the language specifications to a vaster array of languages,
increasing the potential uses of the DSL with the features provided by the languages.
The compiler and some examples of the DSL can be downloaded at the website https:
//epl.di.uminho.pt/∼gepl/GEPL DS/OntoDL/ created for the application and presented in
the final chapters of the thesis.As ontologias são formalismos muito poderosos no que toca a manipulação de conhecimento.
Estas oferecem uma boa solução para trocar, armazenar, procurar e inferir grandes volumes de informação. Ao longo dos anos, várias soluções para sistemas baseados em conhecimento
usaram ontologias como uma parte central do sistema.
A OntoDL é uma Linguagem de Domínio Específico que foi desenvolvida através do uso
de ANTLR4, para permitir a especificação de ontologias. Esta linguagem foi já utilizada por
especialistas de diversas áreas como forma de utilizar soluções informáticas para resolver os
seus problemas.
Nesta tese, incluída no segundo ano do Mestrado em Engenharia Informática, OntoDL+
foi criado como uma expansão tanto à linguagem e como ao seu compilador. A linguagem
foi extendida para melhorar a usabilidade e produtividade dos seus utilizadores, mantendo se fácil de aprender e perceber. O compilador foi expandido para ser capaz de traduzir as especificações de OntoDL+ para um leque de linguagens mais vasto, aumentando os potenciais usos da DSL através das funcionalidades providenciadas pelas linguagens alvo. O compilador e alguns exemplos da DSL podem ser acedidos no sítio https://epl.di.
uminho.pt/∼gepl/GEPL DS/OntoDL/ criado para a aplicação e mostrado nos capítulos
finais da tese
- …