Revision is a method to deal with non-monotonic processes. It has been used in theory of truth an an answer to semantic paradoxes as the liar, but the idea is universal and resurfaces in many areas of logic and applications of logic. In this survey, we describe the general idea in the framework of pointer semantics and point out that beyond the formal semantics given by Gupta and Belnap, the pr...

The success postulate of classic belief revision theory demands that after revising some beliefs with by information the new information is believed. However, this form of prioritized belief revision is not apt under many circumstances. Research in non-prioritized belief revision investigates forms of belief revision where success is not a desirable property. Herein, selective revision uses a t...

The burden of revision total hip replacement (THR) surgery is increasing. With an increasing life expectancy and younger age of primary surgery this trend is set to continue. There are few data on the long-term outcome of revision THR. This retrospective study of 1176 consecutive revision THRs with a minimum 10-year follow-up from a University Teaching Hospital was undertaken to review implant ...

In this work, we collect Ramsey-type results concerning rainbow edge colorings of graphs. Revision History • Revision 3: March, 2015. • Revision 2: October, 2014. • Revision 1: July, 2011. • Original: Graphs and Combinatorics, January, 2010. [73] If you have corrections, updates or new results which fit the scope of this work, please contact Colton Magnant at [email protected].

We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communities, but the existing proposals are restricted in several ways. In this paper we develop a formal framework for revision of DL-Lite KBs, using techniques that are analogous to those for model-based revision in propositional log...

Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either automatically or semiautomatically. However, the mappings generated by these systems may be inconsistent with the ontologies. Several approaches have been proposed to deal with the inconsistencies between mappings and on...

Review timeline: TPC2017-00047-BRR Submission received: Jan. 16, 2017 1st Decision: Feb. 21, 2017 revision requested TPC2017-00047-BRR1 1st Revision received: April 24, 2017 2nd Decision: May 20, 2017 revision requested TPC2017-00047-BRR2 2nd Revision received: May 27, 2017 3rd Decision: June 7, 2017 acceptance pending, sent to science editor Final acceptance: June 14, 2017 Advance publication:...

Quality control is an essential task within ontology development projects especially when the knowledge formalization is partially automatized. In this paper, we propose a reasoning-based, interactive approach to support the revision of formalized knowledge. We state consistency criteria for revision states and introduce the notion of revision closure, based on which the revision of ontologies ...