Filament
发表于 2025-3-21 18:44:51
书目名称Conceptual Structures: Theory, Tools and Applications影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0235056<br><br> <br><br>书目名称Conceptual Structures: Theory, Tools and Applications影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0235056<br><br> <br><br>书目名称Conceptual Structures: Theory, Tools and Applications网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0235056<br><br> <br><br>书目名称Conceptual Structures: Theory, Tools and Applications网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0235056<br><br> <br><br>书目名称Conceptual Structures: Theory, Tools and Applications被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0235056<br><br> <br><br>书目名称Conceptual Structures: Theory, Tools and Applications被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0235056<br><br> <br><br>书目名称Conceptual Structures: Theory, Tools and Applications年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0235056<br><br> <br><br>书目名称Conceptual Structures: Theory, Tools and Applications年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0235056<br><br> <br><br>书目名称Conceptual Structures: Theory, Tools and Applications读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0235056<br><br> <br><br>书目名称Conceptual Structures: Theory, Tools and Applications读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0235056<br><br> <br><br>
额外的事
发表于 2025-3-21 22:01:19
Piece resolution: Towards larger perspectives, “chase”, was already studied. The chase is a bottom-up procedure: from hypothesis to conclusion. This paper introduces a new proof procedure which is topdown: from conclusion to hypothesis. Indeed, we show that the implication problem for dependencies can be reduced to the existence of a piece reso
Interdict
发表于 2025-3-22 03:42:05
http://reply.papertrans.cn/24/2351/235056/235056_3.png
committed
发表于 2025-3-22 08:31:45
Andrée C. Ehresmann,Jean-Paul Vanbremeersch offer a solution to this problem by developing a method for extending line diagrams to those whose attributes are join-closed. This method allows to implement TOSCANA-systems based on thesauri which respect the join-structure of the thesauri.
Commonplace
发表于 2025-3-22 12:41:09
http://reply.papertrans.cn/24/2351/235056/235056_5.png
Classify
发表于 2025-3-22 14:34:49
http://reply.papertrans.cn/24/2351/235056/235056_6.png
Classify
发表于 2025-3-22 20:16:42
A semantic validation of conceptual graphs,ach kind of descriptive constraints we propose a way of checking if a knowledge base is valid and define their logical semantics. Finally we compare descriptive constraints with other extensions of the conceptual graph model.
原告
发表于 2025-3-22 22:06:24
Matching in description logics: Preliminary results,ion” normal form for concepts. As a result, matching can be performed (in polynomial time) using . concept patterns of the description language .¬, thus removing restrictions from previous work. The paper also addresses the question of matching problems with additional “side conditions”, which were motivated by practical experience.
insurrection
发表于 2025-3-23 05:15:51
Ontologically yours,ain that ‘conceptual structures‘ should be handled in the way that logicians and philosophers consider to be adequate for concepts. Thinking about the actual use of words in reasoning may therefore open some new perspectives in the theory of ‘conceptual structures‘.
packet
发表于 2025-3-23 07:56:47
Mapping of CGIF to operational interfaces,CORBA to allow the interoperability within a heterogeneous environment. The major result of this paper is a specification of an operational interface written in CORBA‘s . (IDL) that is equivalent to CGIF, yet better suited for the efficient implementation of applications in distributed systems.