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)
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a linear-time temporal logic with time-bounded operators, to reason about general properties of timed transition systems, an abstract model for the behavior of objects in a(More)
From a logical point of view, one of the most interesting developments of topos theory [3] has been the investigation of the internal logics of topoi by means of local set theory (henceforth LST) [1]. This is accomplished by viewing any topos as a model of a theory in the language of LST, which is basically a higher-order language, or type theory.(More)
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)
  • 1