易于
发表于 2025-3-25 03:40:54
http://reply.papertrans.cn/103/10216/1021592/1021592_21.png
路标
发表于 2025-3-25 11:01:31
Lexicographical Inference over Inconsistent DL-Based Ontologiesologies without repairing them first. We address the problem of checking consequences in a . ontology that are classically inferred from every consistent (or coherent) subontology having the highest .. We propose a method for compiling a . ontology to a propositional program so that the problem can
Kidnap
发表于 2025-3-25 13:40:58
http://reply.papertrans.cn/103/10216/1021592/1021592_23.png
勤劳
发表于 2025-3-25 19:07:21
A Survey of Revision Approaches in Description Logicsologies. Many approaches in the theory of belief revision have been applied to deal with this problem and most of them focus on the postulates or the logical properties of a revision operator in Description Logics (DLs). However, there is no coherent view on how to characterize a revision operator i
Rct393
发表于 2025-3-25 21:16:45
Towards Rule-Based Minimization of RDF Graphs under Constraintslarge and contain redundant information. So far, techniques for eliminating redundancy rely on the generic notion of lean graphs. We propose a user-specific minimization technique based on Datalog rules, enabling a user to specify the structures in an RDF graph that are not relevant for an applicati
寒冷
发表于 2025-3-26 01:02:57
http://reply.papertrans.cn/103/10216/1021592/1021592_26.png
Camouflage
发表于 2025-3-26 07:01:57
Ontology Design and Reuse with Conceptual Rolesple, in software development. As the use of ontologies becomes commonplace, they will be constructed more frequently and also become more complex. To cope with this issue, modularization paradigms and reuse techniques must be defined for ontologies and supported by ontology languages. In this paper,
jaunty
发表于 2025-3-26 12:14:30
http://reply.papertrans.cn/103/10216/1021592/1021592_28.png
reaching
发表于 2025-3-26 15:30:01
Enhancing a DLP System for Advanced Database Applications language of DLP is very expressive, and allows to model also advanced knowledge-based tasks arising in modern application-areas like, e.g., information integration and knowledge management. The recent development of efficient systems supporting disjunctive logic programming, has encouraged the usag
indemnify
发表于 2025-3-26 19:48:35
http://reply.papertrans.cn/103/10216/1021592/1021592_30.png