Search Results for author:
Found 10 papers, 0 papers with code
Belief Change based on Knowledge Measures
On the other hand, Belief Change (BC) is the process of changing beliefs (in our case, in terms of contraction, expansion and revision) taking into account a new piece of knowledge, which possibly may be in contradiction with the current belief.
PN-OWL: A Two Stage Algorithm to Learn Fuzzy Concept Inclusions from OWL Ontologies
PN-OWL then aggregates the fuzzy inclusion axioms learnt at the P-stage and the N-stage by combining them via aggregation functions to allow for a final decision whether an individual is instance of T or not.
A General Framework for Modelling Conditional Reasoning -- Preliminary Report
We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems.
A Minimal Deductive System for RDFS with Negative Statements
The triple language RDFS is designed to represent and reason with \emph{positive} statements only (e. g."antipyretics are drugs").
A Rational Entailment for Expressive Description Logics via Description Logic Programs
Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs).
Fuzzy OWL-BOOST: Learning Fuzzy Concept Inclusions via Real-Valued Boosting
OWL ontologies are nowadays a quite popular way to describe structured knowledge in terms of classes, relations among classes and class instances.
Defeasible RDFS via Rational Closure
In this work, we show how to integrate RC within the triple language RDFS, which together with OWL2 are the two major standard semantic web ontology languages.
Towards a Forensic Event Ontology to Assist Video Surveillance-based Vandalism Detection
The detection and representation of events is a critical element in automated surveillance systems.
An Introduction to Fuzzy & Annotated Semantic Web Languages
We present the state of the art in representing and reasoning with fuzzy knowledge in Semantic Web Languages such as triple languages RDF/RDFS, conceptual languages of the OWL 2 family and rule languages.
A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure
We then also adapt the method to one of the known extensions of RC for DLs, namely Defeasible Inheritance-based DLs without losing the computational tractability.
