15,038 research outputs found
Rough Set Semantics for Identity on the Web
Identity relations are at the foundation of many logic-based knowledge representations. We argue that the traditional notion of equality, is unsuited for many realistic knowledge representation settings. The classical interpretation of equality is too strong when the equality statements are re-used outside their original context. On the Semantic Web, equality statements are used to interlink multiple descriptions of the same object, using owl:sameAs assertions. And indeed, many practical uses of owl:sameAs are known to violate the formal Leibniz-style semantics. We provide a more flexible semantics to identity by assigning meaning to the subrelations of an identity relation in terms of the predicates that are used in a knowledge-base. Using those indiscernability-predicates, we define upper and lower approximations of equality in the style of rought-set theory, resulting in a quality-measure for identity relations
Towards Model-Driven Development of Access Control Policies for Web Applications
We introduce a UML-based notation for graphically modeling
systems’ security aspects in a simple and intuitive
way and a model-driven process that transforms graphical
specifications of access control policies in XACML. These
XACML policies are then translated in FACPL, a policy
language with a formal semantics, and the resulting policies
are evaluated by means of a Java-based software tool
Institutionalising Ontology-Based Semantic Integration
We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in decentralised and distributed environments. After recalling the first-order ontology-based approach to semantic integration and a formalisation of ontological commitment, we propose a general theory that uses a syntax-and interpretation-independent formulation of language, ontology, and ontological commitment in terms of institutions. We claim that our formalisation generalises the intuitive notion of ontology-based semantic integration while retaining its basic insight, and we apply it for eliciting and hence comparing various increasingly complex notions of semantic integration and ontological commitment based on differing understandings of semantics
IVOA Recommendation: VOResource: an XML Encoding Schema for Resource Metadata Version 1.03
This document describes an XML encoding standard for IVOA Resource Metadata,
referred to as VOResource. This schema is primarily intended to support
interoperable registries used for discovering resources; however, any
application that needs to describe resources may use this schema. In this
document, we define the types and elements that make up the schema as
representations of metadata terms defined in the IVOA standard, Resource
Metadata for the Virtual Observatory [Hanicsh et al. 2004]. We also describe
the general model for the schema and explain how it may be extended to add new
metadata terms and describe more specific types of resources
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
FASILL (acronym of "Fuzzy Aggregators and Similarity Into a Logic Language")
is a fuzzy logic programming language with implicit/explicit truth degree
annotations, a great variety of connectives and unification by similarity.
FASILL integrates and extends features coming from MALP (Multi-Adjoint Logic
Programming, a fuzzy logic language with explicitly annotated rules) and
Bousi~Prolog (which uses a weak unification algorithm and is well suited for
flexible query answering). Hence, it properly manages similarity and truth
degrees in a single framework combining the expressive benefits of both
languages. This paper presents the main features and implementations details of
FASILL. Along the paper we describe its syntax and operational semantics and we
give clues of the implementation of the lattice module and the similarity
module, two of the main building blocks of the new programming environment
which enriches the FLOPER system developed in our research group.Comment: In Proceedings PROLE 2014, arXiv:1501.0169
A Comparative Study of Ranking-based Semantics for Abstract Argumentation
Argumentation is a process of evaluating and comparing a set of arguments. A
way to compare them consists in using a ranking-based semantics which
rank-order arguments from the most to the least acceptable ones. Recently, a
number of such semantics have been proposed independently, often associated
with some desirable properties. However, there is no comparative study which
takes a broader perspective. This is what we propose in this work. We provide a
general comparison of all these semantics with respect to the proposed
properties. That allows to underline the differences of behavior between the
existing semantics.Comment: Proceedings of the 30th AAAI Conference on Artificial Intelligence
(AAAI-2016), Feb 2016, Phoenix, United State
- …