A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Using Semantic Distances for Reasoning with Inconsistent Ontologies
[chapter]
2008
Lecture Notes in Computer Science
Re-using and combining multiple ontologies on the Web is bound to lead to inconsistencies between the combined vocabularies. ...
Even many of the ontologies that are in use today turn out to be inconsistent once some of their implicit knowledge is made explicit. ...
We thank Annette ten Teije for useful clarifying discussions and Johanna Völker for providing the inconsistent PROTON ontologies. ...
doi:10.1007/978-3-540-88564-1_12
fatcat:d6kyb5k74bg6leelw3dsyaykjq
Towards the evaluation of the LarKC Reasoner Plug-ins
2010
International Semantic Web Conference
We discuss the evaluation methods, measures, benchmarks, and performance targets for the plug-ins to be developed for approximate reasoning with interleaved reasoning and selection. ...
In this paper, we propose a specification language of gold standards for the evaluation and benchmarking, and discuss how it can be used for the evaluation of reasoner plug-ins within the LarKC platform ...
Introduction The essence of the LarKC project [2] 1 is to go beyond notions of absolute correctness and completeness in reasoning. ...
dblp:conf/semweb/Huang10
fatcat:hkxprlpnrfcn5ezif64iztjxrq
Web of Data Evolution by Exploiting Agent Based-Argumentation
[chapter]
2016
IFIP Advances in Information and Communication Technology
Sharing knowledge and data coming from different sources is one of the biggest advantage of linked data. ...
Keeping this knowledge graph up to date may take in account both ontology vocabularies and data since they should be consistent. ...
This one is a set of rules based on similarities measures (syntactic and semantic). 3. Consistency agent studies the effect of this change upon the ontology and data consistency. ...
doi:10.1007/978-3-319-55970-4_3
fatcat:dl4zeewbsbcirp5yoabr3de3my
Many worlds: decoherent or incoherent?
2015
Synthese
These problems are not alleviated by invoking the notion of emergent or robust structure, and are argued to be significant enough to cast doubt upon the viability of the entire neo-Everettian enterprise ...
The Deutsch-Wallace-Everett programme is conceptually incoherent since its viability rests upon a notion of decoherence that conflicts with its own fundamental precepts in two respects. ...
In essence, the counter argument is that one may understand the Born weights as 'telling us when some emergent structure really is robustly present' [italics added]. ...
doi:10.1007/s11229-014-0650-8
fatcat:jtfqc2uunvf4xex5jkv4tx7poi
Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets
[chapter]
2009
Lecture Notes in Computer Science
We present ontology databases with not-gadgets, a method for detecting inconsistencies in an ontology with large numbers of annotated instances by using triggers and exclusion dependencies in a unique ...
What makes this work relevant is the use of the database itself, rather than an external reasoner, to detect logical inconsistencies given large numbers of annotated instances. ...
Frishkoff and Sarah Douglas for their feedback on and contributions to this work. ...
doi:10.1007/978-3-642-05151-7_15
fatcat:yjm3jz7n55cmrbjspbym47ap3e
Dialogue Games for Inconsistent and Biased Information
2004
Electronical Notes in Theoretical Computer Science
on the agent's cognitive state, and last, by defining update rules that change the agent's cognitive state as a result of communicative acts. ...
in which agents can communicate about their cognitive states with inconsistent and biased information. ...
We have shown in essence that the relation between communicative acts and the agents' cognitive state does not have to suffer from inconsistent cognitive states. ...
doi:10.1016/s1571-0661(05)82607-6
fatcat:nuyhbw4uzndjpob7ro4rx56dda
Reasoning on Context-Dependent Domain Models
[chapter]
2017
Lecture Notes in Computer Science
We evaluate the suitability and efficiency of our approach by reasoning on a modelled banking application and measuring the performance on randomly generated models. A ex = {¬C(s)}. ...
Let J be a model, then we have s ∈ (¬C) J , s ∈ A ⊥ J and s / ∈ ¬A(a) J which, by the semantics of ConDL, implies s ∈ A(a) J . This contradicts A ⊥ (s) and (C ex , A ex ) is indeed inconsistent. ...
In essence, only those objects (naturals or compartments) are checked that play a corresponding role in the constrained compartment, and there are enough of such objects in that compartment. ...
doi:10.1007/978-3-319-70682-5_5
fatcat:h76v7xqu4rhptgkqievxoi2gcm
Countering Service Information Challenges in the Internet of Services
2009
Business & Information Systems Engineering
In this paper, we propose to counter such service information challenges by two artifacts. First, we contribute a Service Ontology as a consistent and holistic way of capturing service information. ...
The ontology is constructed in an interdisciplinary and collaborative way and formalized with W3C Semantic Web recommendations. ...
Governance and coordinated distribution of responsibilities are necessary to counter the particular challenges of (f) compliance, (g) inconsistencies, and (h) cooperation. ...
doi:10.1007/s12599-009-0069-9
fatcat:orldgxfojfg7vjt2uzozkypzvu
THE ICONIC ONTOLOGY OF ST. MAXIMUS THE CONFESSOR
2017
Altarul reîntregirii
The equalization of the essence of beings and the icon is only possible in an Eucharistic view of the world, wherein the Eucharist represents in an iconic way the presence of the eschatological truth in ...
This claim gives us the opportunity to understand the term essence as a dynamic reality, and not as a given static. Essence is not something that the being is, but what it is supposed to be. ...
Maximus leans on the Cappadocian differentiation between essence and hypostasis, wherein hypostasis is equal to personality. The concept of personality appears in a strictly ontological meaning. ...
doi:10.29302/ar.2017.suplim.1.5
fatcat:uu2n6df6a5fojgenhakqx5x2ey
RECONSTRUCTING THE ASSIGNMENT OF INDONESIAN NATIONAL ARMY'S (TNI) DUTY IN COUNTERING TERRORISM
2020
Perspectives of Law and Public Administration
In reconstructing laws and regulations regarding counter-terrorism, this research refers to several theories, including the rule of law theory, the theory of authority, and the theory of legislation. ...
Despite of that, the problems regulated in counter-terrorism are broader than that, because they involve TNI in overcoming acts of terrorism as part of TNI's duties from military operations other than ...
The birth of Law Number 5 of 2018 concerning the Eradication of Criminal Acts of Terrorism, ontologically from its essence, confirms that the TNI is involved in countering acts of terrorism in order to ...
doaj:dc750b1204f24c508f0e3eb12f3e5906
fatcat:pda7godsunc45ekjfoqc46hnke
For a Rationalist Politics of the Event: Zermelo–Fraenkel Set Theory and Structuring the Multiple
2020
Filozofski Vestnik
In relation to the ontological order of the pure multiple and the objective order of presentation, subjectivation emerges as an interruption of the stability and stasis of the ontological order, both politically ...
This bricolage critically engages with Badiou's conception of the truth-procedure and the event. ...
Badiou's systematically developed meta-ontological narrative identifies ontology with the theory of inconsistent multiplicity, and the latter in turn with Zermelo-Fraenkel axiomatized set-theory. ...
doi:10.3986/fv.41.1.09
fatcat:iujzjdtctbcv5b7r6cbdcgdlva
Deciding Agent Orientation on Ontology Mappings
[chapter]
2010
Lecture Notes in Computer Science
Effective communication in open environments relies on the ability of agents to reach a mutual understanding of the exchanged message by reconciling the vocabulary (ontology) used. ...
Furthermore, we compare and evaluate the fitness for purpose of the generated alignments, and we empirically demonstrate that the proposed approach has comparable performance to the MbA approach. ...
For example, if x = G 1 , m, + and y = G 1 , m, − , x counter-argues y and vice-versa. ...
doi:10.1007/978-3-642-17746-0_11
fatcat:ap2fmbfjaff5ngizenvwu6opcy
Ontological Core of the Social Concept of Global Constitutionalism: a Socio-Philosophical Analysis of Content and Evolution
2019
Future Human Image
Subject of research: theoretical content and stages of development of ontological principles in global constitutionalism in relation to its social essence. ...
Examines the impact on the evolution of the ontological principles of social concept of global constitutionalism content of the ontological principles and other social concepts. ...
nature of the ontological essence of this sociophilosophical concept. ...
doi:10.29202/fhi/12/12
fatcat:w6smt3d3hzdr3eo3zleslvfw6e
Implementation of Agent-based Ontology Mapping and Integration
2006
2006 IEEE International Conference on e-Business Engineering (ICEBE'06)
Finally, demonstrations of ontology mapping and integration are presented. ...
Functionalities and implementation of involved agents are discussed. In addition, a three-layer user ontologies are introduced. ...
measurement, or to solve problems such as matching in ontology mapping [5] rather than focus on architectures. ...
doi:10.1109/icebe.2006.60
dblp:conf/icebe/LiYW06
fatcat:ckrr4zdhnvcvrm57oivnwrfmpy
Iconical Onthology of St. Maximus the Confessor
[article]
2019
Figshare
The equalization of the essence ofbeings and icon is only possible in an Eucharistic view of the world, wherein the Eucharist represents in an iconic way the presence of the eschatological truth in history ...
This claim gives us the opportunity to understand the term essence as an dynamic reality and not as a static given. Essence is not something that the being is, but what it is supposed to be. ...
inconsistent. 16 Origenes counters that, but his reasons are not only of apologetic nature. ...
doi:10.6084/m9.figshare.8259020.v1
fatcat:b7pakud3zfbatmbhadsubybkoi
« Previous
Showing results 1 — 15 out of 11,091 results