liaison
发表于 2025-3-30 08:36:23
The Human Factor and Strategic Integrationpropose to use UEL as a tool to detect redundancies in such ontologies by computing unifiers of two formal concepts suspected of expressing the same concept of the application domain. UEL can be used as a plug-in of the popular ontology editor Protégé, or as a standalone unification application.
brachial-plexus
发表于 2025-3-30 13:17:12
http://reply.papertrans.cn/17/1664/166318/166318_52.png
sperse
发表于 2025-3-30 19:08:34
https://doi.org/10.1057/9780230523746ly, finding neither a proof nor a disproof of a given subgoal..In this paper we characterize a family of truth-preserving abstractions from intuitionistic first-order logic to the monadic fragment of classical first-order logic. Because they are truthful, these abstractions can be used to disprove sequents in intuitionistic first-order logic.
Metamorphosis
发表于 2025-3-30 23:49:42
Three-Stage Commitment Buildingion conditions are generated using a novel calculus for computing the strongest postcondition of statements manipulating the heap, such as dynamic allocation and field-assignment. Further, we introduce a new decidable tableaux-based method and its prototype implementation to automatically check these verification conditions.
indemnify
发表于 2025-3-31 01:42:02
http://reply.papertrans.cn/17/1664/166318/166318_55.png
morale
发表于 2025-3-31 06:08:56
UEL: Unification Solver for the Description Logic , – System Descriptionpropose to use UEL as a tool to detect redundancies in such ontologies by computing unifiers of two formal concepts suspected of expressing the same concept of the application domain. UEL can be used as a plug-in of the popular ontology editor Protégé, or as a standalone unification application.
闲荡
发表于 2025-3-31 10:40:26
How Fuzzy Is My Fuzzy Description Logic?-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp reasoning, and thus has its same complexity. Surprisingly, in these same logics crisp models are insufficient for deciding fuzzy subsumption.
Herd-Immunity
发表于 2025-3-31 15:13:38
http://reply.papertrans.cn/17/1664/166318/166318_58.png
crumble
发表于 2025-3-31 17:47:16
http://reply.papertrans.cn/17/1664/166318/166318_59.png
整顿
发表于 2025-4-1 01:01:25
SAT Encoding of Unification in , w.r.t. Cycle-Restricted Ontologieson the one hand, we add general concept inclusion axioms, and on the other hand, we add role hierarchies (.) and transitive roles (..). For the translation to be complete, however, the ontology needs to satisfy a certain cycle restriction. The SAT translation depends on a new rewriting-based characterization of subsumption w.r.t. .-ontologies.