Agent Inferencing Meets the Semantic Web

We provide all agent; the capability to infer the relations (assertions) entailed by the rules that, describe the formal semantics of art RDFS knowledge-base. The proposed inferencing process formulates each semantic restriction as a rule implemented within a, SPARQL query statement. The process expands the original RDF graph into a fuller graph that. explicitly captures the rule's described semantics. The approach is currently being explored in order to support descriptions that follow the generic Semantic Web Rule Language. An experiment, using the Fire-Brigade domain, a small-scale knowledge-base, is adopted to illustrate the agent modeling method and the inferencing process.

Proof in classroom social practice

How does the construction of proof relate to the social practice developed in the mathematics classroom? This report addresses the role of diagrams in order to focus the complementarity of participation and reification in the process of constructing a proof and negotiating its meaning. The discussion is based on the analysis of the mathematical practice developed by a group of four 9th grade students and is inspired by the social theory of learning

As políticas e práticas culturais no seio da Rede Nacional de Teatros e Cineteatros

Artigo baseado na comunicação proferida no 7º Congresso SOPCOM: Comunicação Global, Cultura e Tecnologia, realizado na Faculdade de Letras da Universidade do Porto, Porto, Portugal, 15 -17 dezembro de 2011