BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Marianna Nicolosi-Asmundo

Marianna Nicolosi-Asmundo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Logic in Computer Science

Catalog footprint

What is connected

3works
1topics
3close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2016arXiv

Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations

We solve the satisfiability problem for a three-sorted fragment of set theory (denoted $3LQST_0^R$), which admits a restricted form of quantification over individual and set variables and the finite enumeration operator $\{\text{-}, \text{-}, \ldots, \text{-}\}$ over individual variables, by showing that it enjoys a small model property, i.e., any satisfiable formula $ψ$ of $3LQST_0^R$ has a finite model whose size depends solely on the length of $ψ$ itself. Several set-theoretic constructs are expressible by $3LQST_0^R$-formulae, such as some variants of the power set operator and the unordered Cartesian product. In particular, concerning the unordered Cartesian product, we show that when finite enumerations are used to represent the construct, the resulting formula is exponentially shorter than the one that can be constructed without resorting to such terms.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Web ontology representation and reasoning via fragments of set theory

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).

0 citations0 reviewsNo code linkedOpen access