-
An automated method for the ontological representation of security directives
Authors:
Giampaolo Bella,
Gianpietro Castiglione,
Daniele Francesco Santamaria
Abstract:
Large documents written in juridical language are difficult to interpret, with long sentences leading to intricate and intertwined relations between the nouns. The present paper frames this problem in the context of recent European security directives. The complexity of their language is here thwarted by automating the extraction of the relevant information, namely of the parts of speech from each…
▽ More
Large documents written in juridical language are difficult to interpret, with long sentences leading to intricate and intertwined relations between the nouns. The present paper frames this problem in the context of recent European security directives. The complexity of their language is here thwarted by automating the extraction of the relevant information, namely of the parts of speech from each clause, through a specific tailoring of Natural Language Processing (NLP) techniques. These contribute, in combination with ontology development principles, to the design of our automated method for the representation of security directives as ontologies. The method is showcased on a practical problem, namely to derive an ontology representing the NIS 2 directive, which is the peak of cybersecurity prescripts at the European level. Although the NLP techniques adopted showed some limitations and had to be complemented by manual analysis, the overall results provide valid support for directive compliance in general and for ontology development in particular.
△ Less
Submitted 30 June, 2023;
originally announced July 2023.
-
A behaviouristic approach to representing processes and procedures in the OASIS 2 ontology
Authors:
Giampaolo Bella,
Gianpietro Castiglione,
Daniele Francesco Santamaria
Abstract:
Foundational ontologies devoted to the effective representation of processes and procedures are not widely investigated at present, thereby limiting the practical adoption of semantic approaches in real scenarios where the precise instructions to follow must be considered. Also, the representation ought to include how agents should carry out the actions associated with the process, whether or not…
▽ More
Foundational ontologies devoted to the effective representation of processes and procedures are not widely investigated at present, thereby limiting the practical adoption of semantic approaches in real scenarios where the precise instructions to follow must be considered. Also, the representation ought to include how agents should carry out the actions associated with the process, whether or not agents are able to perform those actions, the possible roles played as well as the related events.
The OASIS ontology provides an established model to capture agents and their interactions but lacks means for representing processes and procedures carried out by agents. This motivates the research presented in this article, which delivers an extension of the OASIS 2 ontology to combine the capabilities for representing agents and their behaviours with the full conceptualization of processes and procedures. The overarching goal is to deliver a foundational OWL ontology that deals with agent planning, reaching a balance between generality and applicability, which is known to be an open challenge.
△ Less
Submitted 30 June, 2023;
originally announced June 2023.
-
An Ontological Approach to Compliance Verification of the NIS 2 Directive
Authors:
Gianpietro Castiglione,
Daniele Francesco Santamaria,
Giampaolo Bella
Abstract:
Cybersecurity, which notoriously concerns both human and technological aspects, is becoming more and more regulated by a number of textual documents spanning several pages, such as the European GDPR Regulation and the NIS Directive. This paper introduces an approach that leverages techniques of semantic representation and reasoning, hence an ontological approach, towards the compliance check with…
▽ More
Cybersecurity, which notoriously concerns both human and technological aspects, is becoming more and more regulated by a number of textual documents spanning several pages, such as the European GDPR Regulation and the NIS Directive. This paper introduces an approach that leverages techniques of semantic representation and reasoning, hence an ontological approach, towards the compliance check with the security measures that textual documents prescribe. We choose the ontology instrument to achieve two fundamental objectives: domain modelling and resource interrogation. The formalisation of entities and relations from the directive, and the consequent improved structuring with respect to sheer prose is dramatically helpful for any organisation through the hard task of compliance verification. The semantic approach is demonstrated with two articles of the new European NIS 2 directive.
△ Less
Submitted 2 March, 2024; v1 submitted 30 June, 2023;
originally announced June 2023.
-
Towards Grammatical Tagging for the Legal Language of Cybersecurity
Authors:
Gianpietro Castiglione,
Giampaolo Bella,
Daniele Francesco Santamaria
Abstract:
Legal language can be understood as the language typically used by those engaged in the legal profession and, as such, it may come both in spoken or written form. Recent legislation on cybersecurity obviously uses legal language in writing, thus inheriting all its interpretative complications due to the typical abundance of cases and sub-cases as well as to the general richness in detail. This pap…
▽ More
Legal language can be understood as the language typically used by those engaged in the legal profession and, as such, it may come both in spoken or written form. Recent legislation on cybersecurity obviously uses legal language in writing, thus inheriting all its interpretative complications due to the typical abundance of cases and sub-cases as well as to the general richness in detail. This paper faces the challenge of the essential interpretation of the legal language of cybersecurity, namely of the extraction of the essential Parts of Speech (POS) from the legal documents concerning cybersecurity. The challenge is overcome by our methodology for POS tagging of legal language. It leverages state-of-the-art open-source tools for Natural Language Processing (NLP) as well as manual analysis to validate the outcomes of the tools. As a result, the methodology is automated and, arguably, general for any legal language following minor tailoring of the preprocessing step. It is demonstrated over the most relevant EU legislation on cybersecurity, namely on the NIS 2 directive, producing the first, albeit essential, structured interpretation of such a relevant document. Moreover, our findings indicate that tools such as SpaCy and ClausIE reach their limits over the legal language of the NIS 2.
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
The Ontology for Agents, Systems and Integration of Services: OASIS version 2
Authors:
Giampaolo Bella,
Domenico Cantone,
Carmelo Fabio Longo,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria
Abstract:
Semantic representation is a key enabler for several application domains, and the multi-agent systems realm makes no exception. Among the methods for semantically representing agents, one has been essentially achieved by taking a behaviouristic vision, through which one can describe how they operate and engage with their peers. The approach essentially aims at defining the operational capabilities…
▽ More
Semantic representation is a key enabler for several application domains, and the multi-agent systems realm makes no exception. Among the methods for semantically representing agents, one has been essentially achieved by taking a behaviouristic vision, through which one can describe how they operate and engage with their peers. The approach essentially aims at defining the operational capabilities of agents through the mental states related with the achievement of tasks. The OASIS ontology -- An Ontology for Agent, Systems, and Integration of Services, presented in 2019 -- pursues the behaviouristic approach to deliver a semantic representation system and a communication protocol for agents and their commitments. This paper reports on the main modeling choices concerning the representation of agents in OASIS 2, the latest major upgrade of OASIS, and the achievement reached by the ontology since it was first introduced, in particular in the context of ontologies for blockchains.
△ Less
Submitted 20 February, 2024; v1 submitted 14 June, 2023;
originally announced June 2023.
-
Development of theoretical frameworks in neuroscience: a pressing need in a sea of data
Authors:
Horacio G. Rotstein,
Fidel Santamaria
Abstract:
Neuroscience is undergoing dramatic progress because of the vast data streams derived from the new technologies product of the BRAIN initiative and other enterprises. As any other scientific field, neuroscience benefits from having clear definitions of its theoretical components and their interactions. This allows generating theories that integrate knowledge, provide mechanistic insights, and pred…
▽ More
Neuroscience is undergoing dramatic progress because of the vast data streams derived from the new technologies product of the BRAIN initiative and other enterprises. As any other scientific field, neuroscience benefits from having clear definitions of its theoretical components and their interactions. This allows generating theories that integrate knowledge, provide mechanistic insights, and predict results under new experimental conditions. However, theoretical neuroscience is a heterogeneous field that has not yet agreed on how to build theories or whether it is desirable to have an overarching theory or whether theories are simply tools to understand the brain. Here we advocate for the need of develo** theoretical frameworks as a basis of generating common theoretical structures. We enumerate the elements of theoretical frameworks we deem necessary for any theory in neuroscience. In particular, we address the notions of paradigms, models, and scales of organizations. We then identify areas with pressing needs to develop brain theories: integration of statistical and dynamic approaches; multi-scale integration; coding; and interpretability in the context of Artificial Intelligence. We also point out that future theoretical frameworks would benefit from the incorporation of the principles of Evolution as a fundamental structure rather than purely mathematical or engineering principles. Rather than providing definite answers, the objective of this paper is to serve as an initial and succinct presentation of these topics to encourage discussion and further in depth development of each topic.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Authors:
Giampaolo Bella,
Domenico Cantone,
Cristiano Longo,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria
Abstract:
Blockchains are gaining momentum due to the interest of industries and people in \emph{decentralized applications} (Dapps), particularly in those for trading assets through digital certificates secured on blockchain, called tokens. As a consequence, providing a clear unambiguous description of any activities carried out on blockchains has become crucial, and we feel the urgency to achieve that des…
▽ More
Blockchains are gaining momentum due to the interest of industries and people in \emph{decentralized applications} (Dapps), particularly in those for trading assets through digital certificates secured on blockchain, called tokens. As a consequence, providing a clear unambiguous description of any activities carried out on blockchains has become crucial, and we feel the urgency to achieve that description at least for trading. This paper reports on how to leverage the \emph{Ontology for Agents, Systems, and Integration of Services} ("\ONT{}") as a general means for the semantic representation of smart contracts stored on blockchain as software agents. Special attention is paid to non-fungible tokens (NFTs), whose management through the ERC721 standard is presented as a case study.
△ Less
Submitted 20 February, 2024; v1 submitted 7 September, 2021;
originally announced September 2021.
-
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
Authors:
Domenico Cantone,
Carmelo Fabio Longo,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria,
Corrado Santoro
Abstract:
In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs). OSCs are ontological representations of smart contracts that allow to establish responsibilities and authorizations among agents and set agreements, whereas con…
▽ More
In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs). OSCs are ontological representations of smart contracts that allow to establish responsibilities and authorizations among agents and set agreements, whereas conditionals allow one to restrict and limit agent interactions, define activation mechanisms that trigger agent actions, and define constraints and contract terms on OSCs. Conditionals and OSCs, as defined in OASIS, are applied to extend with ontological capabilities digital public ledgers such as the blockchain and smart contracts implemented on it. We will also sketch the architecture of a framework based on the OASIS definition of OSCs that exploits the Ethereum platform and the Interplanetary File System.
△ Less
Submitted 20 February, 2024; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Present and future frameworks of theoretical neuroscience: outcomes of a community discussion
Authors:
Horacio G. Rotstein,
Fidel Santamaria
Abstract:
We organized a workshop on the "Present and Future Frameworks of Theoretical Neuroscience", with the support of the National Science Foundation. The objective was to identify the challenges and strategies that this field will need to tackle in order to incorporate vast and multi-scale streams of experimental data from the technologies developed by the BRAIN initiative. The participants, divided in…
▽ More
We organized a workshop on the "Present and Future Frameworks of Theoretical Neuroscience", with the support of the National Science Foundation. The objective was to identify the challenges and strategies that this field will need to tackle in order to incorporate vast and multi-scale streams of experimental data from the technologies developed by the BRAIN initiative. The participants, divided in workgroups, identified five key areas that, while not exhaustive, cover multiple aspects of current challenges needed to be developed: Dynamics-statistics; multi-scale integration; coding; brain-body integration; and structure of neuroscience theories. While each area is different, there were coincidences on finding theoretical paths to incorporate biophysics, energetics, and ethology with more abstract coding and computational approaches. Each workgroup has continued to work after the meeting to develop the ideas seeded there, which are started to being published. Here, we provide a perspective of the discussions of each workgroup that point to building on the present foundations of theoretical neuroscience and extend them by incorporating multi-scale information with the objective of providing mechanistic insights into the nervous system.
△ Less
Submitted 3 April, 2020;
originally announced April 2020.
-
On the role of theory and modeling in neuroscience
Authors:
Daniel Levenstein,
Veronica A. Alvarez,
Asohan Amarasingham,
Habiba Azab,
Zhe Sage Chen,
Richard C. Gerkin,
Andrea Hasenstaub,
Ramakrishnan Iyer,
Renaud B. Jolivet,
Sarah Marzen,
Joseph D. Monaco,
Astrid A. Prinz,
Salma Quraishi,
Fidel Santamaria,
Sabyasachi Shivkumar,
Matthew F. Singh,
Roger Traub,
Horacio G. Rotstein,
Farzan Nadim,
A. David Redish
Abstract:
In recent years, the field of neuroscience has gone through rapid experimental advances and a significant increase in the use of quantitative and computational methods. This growth has created a need for clearer analyses of the theory and modeling approaches used in the field. This issue is particularly complex in neuroscience because the field studies phenomena across a wide range of scales and o…
▽ More
In recent years, the field of neuroscience has gone through rapid experimental advances and a significant increase in the use of quantitative and computational methods. This growth has created a need for clearer analyses of the theory and modeling approaches used in the field. This issue is particularly complex in neuroscience because the field studies phenomena across a wide range of scales and often requires consideration of these phenomena at varying degrees of abstraction, from precise biophysical interactions to the computations they implement. We argue that a pragmatic perspective of science, in which descriptive, mechanistic, and normative approaches each play a distinct role in defining and bridging levels of abstraction will facilitate neuroscientific practice. This analysis leads to methodological suggestions, including selecting a level of abstraction that is appropriate for a given problem, identifying transfer functions to connect models and data, and the use of models themselves as a form of experiment.
△ Less
Submitted 15 December, 2022; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Self-adaptive decision-making mechanisms to balance the execution of multiple tasks for a multi-robots team
Authors:
Nunzia Palmieri,
Xin-She Yang,
Floriano De Rango,
Amilcare Francesco Santamaria
Abstract:
This work addresses the coordination problem of multiple robots with the goal of finding specific hazardous targets in an unknown area and dealing with them cooperatively. The desired behaviour for the robotic system entails multiple requirements, which may also be conflicting. The paper presents the problem as a constrained bi-objective optimization problem in which mobile robots must perform two…
▽ More
This work addresses the coordination problem of multiple robots with the goal of finding specific hazardous targets in an unknown area and dealing with them cooperatively. The desired behaviour for the robotic system entails multiple requirements, which may also be conflicting. The paper presents the problem as a constrained bi-objective optimization problem in which mobile robots must perform two specific tasks of exploration and at same time cooperation and coordination for disarming the hazardous targets. These objectives are opposed goals, in which one may be favored, but only at the expense of the other. Therefore, a good trade-off must be found. For this purpose, a nature-inspired approach and an analytical mathematical model to solve this problem considering a single equivalent weighted objective function are presented. The results of proposed coordination model, simulated in a two dimensional terrain, are showed in order to assess the behaviour of the proposed solution to tackle this problem. We have analyzed the performance of the approach and the influence of the weights of the objective function under different conditions: static and dynamic. In this latter situation, the robots may fail under the stringent limited budget of energy or for hazardous events. The paper concludes with a critical discussion of the experimental results.
△ Less
Submitted 27 March, 2019;
originally announced March 2019.
-
A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
Authors:
Domenico Cantone,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria
Abstract:
We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ ($\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, for short). Our application solves the main TBox and ABox reasoning problems for $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$. In particular, it solv…
▽ More
We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ ($\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, for short). Our application solves the main TBox and ABox reasoning problems for $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$. In particular, it solves the consistency problem for $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases represented in set-theoretic terms, and a generalization of the \emph{Conjunctive Query Answering} problem in which conjunctive queries with variables of three sorts are admitted. The reasoner, which extends and optimizes a previous prototype for the consistency checking of $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases (see \cite{cilc17}), is implemented in \textsf{C++}. It supports $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases serialized in the OWL/XML format, and it admits also rules expressed in SWRL (Semantic Web Rule Language).
△ Less
Submitted 20 February, 2024; v1 submitted 18 May, 2018;
originally announced May 2018.
-
An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
Authors:
Domenico Cantone,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria
Abstract:
We present a KE-tableau-based procedure for the main TBox and ABox reasoning tasks for the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$, in short $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$. The logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, representable in the decidable multi-sorted quantified set-theoretic fragment $\mathsf{4LQS^R}$, combines the high scal…
▽ More
We present a KE-tableau-based procedure for the main TBox and ABox reasoning tasks for the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$, in short $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$. The logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, representable in the decidable multi-sorted quantified set-theoretic fragment $\mathsf{4LQS^R}$, combines the high scalability and efficiency of rule languages such as the Semantic Web Rule Language (SWRL) with the expressivity of description logics.
Our algorithm is based on a variant of the KE-tableau system for sets of universally quantified clauses, where the KE-elimination rule is generalized in such a way as to incorporate the $γ$-rule. The novel system, called KE$^γ$-tableau, turns out to be an improvement of the system introduced in \cite{RR2017} and of standard first-order KE-tableau \cite{dagostino94}. Suitable benchmark test sets executed on C++ implementations of the three mentioned systems show that the performances of the KE$^γ$-tableau-based reasoner are often up to about 400% better than the ones of the other two systems. This a first step towards the construction of efficient reasoners for expressive OWL ontologies based on fragments of computable set-theory.
△ Less
Submitted 20 February, 2024; v1 submitted 27 April, 2018;
originally announced April 2018.
-
The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
Authors:
Claudia Cantale,
Domenico Cantone,
Manuela Lupica Rinato,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria
Abstract:
We present an OWL 2 ontology representing the Saint Gall plan, one of the most ancient documents arrived intact to us, which describes the ideal model of a Benedictine monastic complex that inspired the design of many European monasteries.
We present an OWL 2 ontology representing the Saint Gall plan, one of the most ancient documents arrived intact to us, which describes the ideal model of a Benedictine monastic complex that inspired the design of many European monasteries.
△ Less
Submitted 20 February, 2024; v1 submitted 8 September, 2017;
originally announced September 2017.
-
A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
Authors:
Domenico Cantone,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria
Abstract:
We present an ongoing implementation of a KE-tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ (shortly $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$). The reasoner checks the consistency of $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases (KBs) represented in s…
▽ More
We present an ongoing implementation of a KE-tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ (shortly $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$). The reasoner checks the consistency of $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases (KBs) represented in set-theoretic terms. It is implemented in \textsf{C++} and supports $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-KBs serialized in the OWL/XML format. To the best of our knowledge, this is the first attempt to implement a reasoner for the consistency checking of a description logic represented via a fragment of set theory that can also classify standard OWL ontologies.
△ Less
Submitted 20 February, 2024; v1 submitted 21 July, 2017;
originally announced July 2017.
-
A set-theoretical approach for ABox reasoning services (Extended Version)
Authors:
Domenico Cantone,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria
Abstract:
In this paper we consider the most common ABox reasoning services for the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ ($\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment \flqsr. The description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ is very e…
▽ More
In this paper we consider the most common ABox reasoning services for the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ ($\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment \flqsr. The description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ is very expressive, as it admits various concept and role constructs, and data types, that allow one to represent rule-based languages such as SWRL. Decidability results are achieved by defining a generalization of the conjunctive query answering problem, called HOCQA (Higher Order Conjunctive Query Answering), that can be instantiated to the most wide\-spread ABox reasoning tasks. We also present a \ke\space based procedure for calculating the answer set from $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ knowledge bases and higher order $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ conjunctive queries, thus providing means for reasoning on several well-known ABox reasoning tasks. Our calculus extends a previously introduced \ke\space based decision procedure for the CQA problem.
△ Less
Submitted 20 February, 2024; v1 submitted 10 February, 2017;
originally announced February 2017.
-
The First-Order Euler-Lagrange equations and some of their uses
Authors:
C. Adam,
F. Santamaria
Abstract:
In many nonlinear field theories, relevant solutions may be found by reducing the order of the original Euler-Lagrange equations, e.g., to first order equations (Bogomolnyi equations, self-duality equations, etc.). Here we generalise, further develop and apply one particular method for the order reduction of nonlinear field equations which, despite its systematic and versatile character, is not wi…
▽ More
In many nonlinear field theories, relevant solutions may be found by reducing the order of the original Euler-Lagrange equations, e.g., to first order equations (Bogomolnyi equations, self-duality equations, etc.). Here we generalise, further develop and apply one particular method for the order reduction of nonlinear field equations which, despite its systematic and versatile character, is not widely known.
△ Less
Submitted 7 September, 2016;
originally announced September 2016.
-
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)
Authors:
Domenico Cantone,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria
Abstract:
We address the problem of Conjunctive Query Answering (CQA) for the description logic $\dlssx$ ($\shdlssx$, for short) which extends the logic $\dlss$ with Boolean operations on concrete roles and with the product of concepts.
The result is obtained by formalizing $\shdlssx$-knowledge bases and $\shdlssx$-conjunctive queries in terms of formulae of the four-level set-theoretic fragment $\flqsr$,…
▽ More
We address the problem of Conjunctive Query Answering (CQA) for the description logic $\dlssx$ ($\shdlssx$, for short) which extends the logic $\dlss$ with Boolean operations on concrete roles and with the product of concepts.
The result is obtained by formalizing $\shdlssx$-knowledge bases and $\shdlssx$-conjunctive queries in terms of formulae of the four-level set-theoretic fragment $\flqsr$, which admits a restricted form of quantification on variables of the first three levels and on pair terms. We solve the CQA problem for $\shdlssx$ through a decision procedure for the satisfiability problem of $\flqsr$. We further define a \ke\space based procedure for the same problem, more suitable for implementation purposes, and analyze its computational complexity.
△ Less
Submitted 23 June, 2016;
originally announced June 2016.
-
Centripetal focusing of gyrotactic phytoplankton in solid-body rotation
Authors:
M. Cencini,
M. Franchino,
F. Santamaria,
G. Boffetta
Abstract:
A suspension of gyrotactic microalgae Chlamydomonas augustae swimming in a cylindrical water vessel in solid-body rotation is studied. Our experiments show that swimming algae form an aggregate around the axis of rotation, whose intensity increases with the rotation speed. We explain this phenomenon by the centripetal orientation of the swimming direction towards the axis of rotation. This centrip…
▽ More
A suspension of gyrotactic microalgae Chlamydomonas augustae swimming in a cylindrical water vessel in solid-body rotation is studied. Our experiments show that swimming algae form an aggregate around the axis of rotation, whose intensity increases with the rotation speed. We explain this phenomenon by the centripetal orientation of the swimming direction towards the axis of rotation. This centripetal focusing is contrasted by diffusive fluxes due to stochastic reorientation of the cells. The competition of the two effects lead to a stationary distribution, which we analytically derive from a refined mathematical model of gyrotactic swimmers. The temporal evolution of the cell distribution, obtained via numerical simulations of the stochastic model, is in quantitative agreement with the experimental measurements in the range of parameters explored.
△ Less
Submitted 4 November, 2015;
originally announced November 2015.
-
Web ontology representation and reasoning via fragments of set theory
Authors:
Domenico Cantone,
Cristiano Longo,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria
Abstract:
In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web.
Specifically, we introduce the description logic $\mathcal{DL}\langle 4LQS^R\rangle(\D)$--admitting features such as min/max cardinality constructs on the left-hand/right-hand side of inclusion axioms, role chain axioms, and datatypes--which…
▽ More
In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web.
Specifically, we introduce the description logic $\mathcal{DL}\langle 4LQS^R\rangle(\D)$--admitting features such as min/max cardinality constructs on the left-hand/right-hand side of inclusion axioms, role chain axioms, and datatypes--which turns out to be quite expressive if compared with $\mathcal{SROIQ}(\D)$, the description logic underpinning the Web Ontology Language OWL. Then we show that the consistency problem for $\mathcal{DL}\langle 4LQS^R\rangle(\D)$-knowledge bases is decidable by reducing it, through a suitable translation process, to the satisfiability problem of the stratified fragment $4LQS^R$ of set theory, involving variables of four sorts and a restricted form of quantification. We prove also that, under suitable not very restrictive constraints, the consistency problem for $\mathcal{DL}\langle 4LQS^R\rangle(\D)$-knowledge bases is \textbf{NP}-complete. Finally, we provide a $4LQS^R$-translation of rules belonging to the Semantic Web Rule Language (SWRL).
△ Less
Submitted 8 May, 2015;
originally announced May 2015.
-
Gyrotactic trap** in laminar and turbulent Kolmogorov flow
Authors:
Francesco Santamaria,
Filippo De Lillo,
Massimo Cencini,
Guido Boffetta
Abstract:
Phytoplankton patchiness, namely the heterogeneous distribution of microalgae over multiple spatial scales, dramatically impacts marine ecology. A spectacular example of such heterogeneity occurs in thin phytoplankton layers (TPLs), where large numbers of photosynthetic microorganisms are found within a small depth interval. Some species of motile phytoplankton can form TPLs by gyrotactic trap**…
▽ More
Phytoplankton patchiness, namely the heterogeneous distribution of microalgae over multiple spatial scales, dramatically impacts marine ecology. A spectacular example of such heterogeneity occurs in thin phytoplankton layers (TPLs), where large numbers of photosynthetic microorganisms are found within a small depth interval. Some species of motile phytoplankton can form TPLs by gyrotactic trap** due to the interplay of their particular swimming style (directed motion biased against gravity) and the transport by a flow with shear along the direction of gravity. Here we consider gyrotactic swimmers in numerical simulations of the Kolmogorov shear flow, both in laminar and turbulent regimes. In the laminar case, we show that the swimmer motion is integrable and the formation of TPLs can be fully characterized by means of dynamical systems tools. We then study the effects of rotational Brownian motion or turbulent fluctuations (appearing when the Reynolds number is large enough) on TPLs. In both cases we show that TPLs become transient, and we characterize their persistence.
△ Less
Submitted 7 October, 2014;
originally announced October 2014.
-
Geotropic tracers in turbulent flows: a proxy for fluid acceleration
Authors:
Guido Boffetta,
Massimo Cencini,
Filippo De Lillo,
Francesco Santamaria
Abstract:
We investigate the statistics of orientation of small, neutrally buoyant, spherical tracers whose center of mass is displaced from the geometrical center. If appropriate-sized particles are considered, a linear relation can be derived between the horizontal components of the orientation vector and the same components of acceleration. Direct numerical simulations are carried out, showing that such…
▽ More
We investigate the statistics of orientation of small, neutrally buoyant, spherical tracers whose center of mass is displaced from the geometrical center. If appropriate-sized particles are considered, a linear relation can be derived between the horizontal components of the orientation vector and the same components of acceleration. Direct numerical simulations are carried out, showing that such relation can be used to reconstruct the statistics of acceleration fluctuations up to the order of the gravitational acceleration. Based on such results, we suggest a novel method for the local experimental measurement of accelerations in turbulent flows.
△ Less
Submitted 13 May, 2013; v1 submitted 7 January, 2013;
originally announced January 2013.
-
Stokes drift for inertial particles transported by water waves
Authors:
G. Boffetta,
M. Martins Afonso,
A. Mazzino,
M. Onorato,
F. Santamaria
Abstract:
We study the effect of surface gravity waves on the motion of inertial particles in an incompressible fluid. Using the multiple-scale technique, we perform an analytical calculation which allows us to predict the dynamics of such particles; results are shown for both the infinite- and finite-depth regimes. Numerical simulations based on the velocity field resulting from the second-order Stokes the…
▽ More
We study the effect of surface gravity waves on the motion of inertial particles in an incompressible fluid. Using the multiple-scale technique, we perform an analytical calculation which allows us to predict the dynamics of such particles; results are shown for both the infinite- and finite-depth regimes. Numerical simulations based on the velocity field resulting from the second-order Stokes theory for the surface elevation have been performed, and an excellent agreement with the analytical predictions is observed. Such an agreement seems to hold even beyond the formal applicability of the theory. We find that the presence of inertia leads to a non-negligible correction to the well-known horizontal Stokes drift; moreover, we find that the vertical velocity is also affected by a drift. The latter result may have some relevant consequences on the rate of sedimentation of particles of finite size. We underline that such a drift would also be observed in the (hypothetical) absence of the gravitational force.
△ Less
Submitted 24 January, 2013; v1 submitted 8 October, 2012;
originally announced October 2012.
