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)
Optimization in sports is a field of increasing interest. Com-binatorial optimization techniques have been applied e.g. to game scheduling and playoff elimination. A common problem usually found in sports management is the assignment of referees to games already scheduled. There are a number of rules and objectives that should be taken into account when(More)
Modular SOS (MSOS) is a framework created to improve the modu-larity of structural operational semantics specifications, a formalism frequently used in the fields of programming languages semantics and process algebras. With the objective of defining formal tools to support the execution and verification of MSOS specifications, we have defined a mapping,(More)
This paper considers a formal framework to contextualize ontologies and presents a formal algebra to manipulate these entities providing several ways of composing ontologies, contexts or both. The algebra gives the flexibility that is required to model applications where the meaning of an entity depends on environment constraints or where dynamic changes in(More)
OBJECTIVE Fertility sparing surgery (FSS) is a strategy often considered in young patients with early epithelial ovarian cancer. We investigated the role and the outcomes of FSS in eEOC patients who underwent comprehensive surgery. METHODS From January 2003 to January 2011, 24 patients underwent fertility sparing surgery. Eighteen were one-to-one matched(More)
A formal framework to contextualize ontologies, proposed in [3], provides several ways of composing ontologies, contexts or both. The proposed algebra can be used to model applications in which the meaning of an entity depends on environment constraints or where dynamic changes in the environment have to be considered. In this article we use this algebra to(More)
One key issue in multi-agent systems (MAS) is their ability to interact and exchange information autonomously across applications. In order to agents to interact in such fashion, however, it is paramount to rely on a communication protocol that allows software agents to exchange meaningful information. In this paper we propose using ontologies as such(More)