This page is a sort of bucket where he puts something concerns his works, research interests, hobbies, and the like, but you may find some more information at his istitutional blog. So, if you were looking for something interesting, smart and curious, please get away from here. Sincerily.
Just in case you are still there, reading words and words of non-sense grammatical constructions, it is your choice.
Ditto (Digrams Transformation into OWL) is a tool that enables the automatic transformation of E/R diagrams with crow's foot notation developed in yEd into OWL ontologies, according to three different transformation schemes.
Graffoo (Graphical Framework for OWL Ontologies) is an open source tool that can be used to present the classes, properties and restrictions within OWL ontologies, or sub-sections of them, as clear and easy-to-understand diagrams.
LODE (Live OWL Documentation Environment) is a web service that automatically extracts classes, object properties, data properties, named individuals, annotation properties, general axioms and namespace declarations from an OWL ontology available on the Web, and renders them as ordered lists, together with their textual definitions, in a human-readable HTML page designed for browsing and navigation by means of embedded links.
KCE Environment for OWL ontologies is a Web application that allows to extract the key concepts from an online-available OWL ontology.
XML2EARMARK is a Web application that allows to convert an XML document into an EARMARK one (linearised in RDF/XML).
Argument Model Ontology, an ontology that aims to encode the Toulmin's theory through OWL classes and properties, in order to describe a web of inter-linked entities that participate, with a specific role, in one or more arguments.
CiTO to Wordnet Ontology, an ontology that maps all the CiTO properties defining citations with the appropriate Wordnet synsets (as defined in their RDF formalisation).
Functions of Citations, an ontology that classifies CiTO properties (each defining a particular citational act) according to their factual and positive/neutral/negative rhetorical functions.
EARMARK Ontology, an OWL 2 DL ontology that defines document meta-markup. It is an ontologically precise definition of markup that instantiates the markup of a text document as an independent OWL document outside of the text strings it annotates, and through appropriate OWL and SWRL characterizations it can define structures such as trees or graphs and can be used to generate validity constraints (including co-constraints currently unavailable in most validation languages). More information about the EARMARK project are available at the project webpage.
EARMARK Overlapping Ontology, an ontology for modelling and inferring overlapping scenarios in EARMARK documents.
Error Ontology, an unit test that allow to produce an inconsistent model if a particular (and incorrect) situation happens. It works by means of a data property, hasError that denies its usage for ant resource. In fact, by defining its domain as
all those resource that don't have any hasErrorDescription assertion, a resource that asserts having an error makes the ontology inconsistent.
The semantics of a scientific article (or, more generally, of a document) is investigable and definable at different perspectives. Each perspective is identifiable by a lens that can be applied to a document (for associating some semantic data to it) and then used to focalise the semantic assets previously associated. The Lens Application Ontology is an ontology that defines seven different lenses that cover different semantic perspectives at different granularities.
Literal Reification pattern, a modelling technique to address scenarios in which we need to bless particular literals, usually when applying data properties, in order to use them as subjects and/or full-fledged objects of semantic assertions.
Pattern Ontology, an ontology defining formally patterns for segmenting a document into atomic components, in order to be manipulated independently and re-flowed in different contexts. The idea of using patterns to produce reusable and high-quality assets is not new in the literature. Software engineers, architects (as Alexander who first introduced this term) and designers very often use – or rather reuse – patterns to handle problems which recur over and over. Patterns have also been studied to modularize and customize web ontologies. They guarantee the flexibility and maintainability of concepts and solutions in several heterogeneous scenarios.
Sometimes, we need to describe scenarios in which someone (e.g., a person) has a value (e.g., a particular role) during a particular time and for a particular context. Four different things are involved in these kinds of scenarios: the entity having some value, e.g. a person or a document possessing a role or a status; the value had by someone, e.g. a role or a status; the time period during which the entity has that value, e.g. from April 2008 to September 2008; the particular context that characterises the act of having that value, e.g. being a member of an institution or an editor of a particular journal. Thought as natural extension of the Time-indexed Situation pattern, this ontological pattern, called Time-indexed Value in Context, is able to describe these kinds of scenarios.
Strangely enough, Silvio Peroni is neither a metaphysical essence, nor a software-agent, nor a book. He is just a person as defined in Wikipedia, although he sometimes lacks both selfness and rationality.
Count of Calamazza
When he was writing this webpage, he was a Ph.D. student in Computer Science at the University of Bologna. It is possible that now, tomorrow or any other future random day he is/will be a farmer. Or, even better, a cat. Nobody knows.
A peculiarity: Silvio used to become a philosopher after 8pm. Fortunately, he completely lost this dangerous behaviour when he was 10, exactly 2 years ago. As consequence, for getting his guilts over, he started to write a blog about his research, plenty of no news and non-useful discussions.
S.'s first flat-mate