Malcontent
发表于 2025-3-25 07:17:10
http://reply.papertrans.cn/103/10216/1021589/1021589_21.png
慌张
发表于 2025-3-25 10:34:43
Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenarioshe process of computing such ordered list also taking into account the semantics of resources description and of the query, provided with reference to a logic theory (an ontology, a set of rules, etc.) . A matchmaking step is fundamental in a number of retrieval scenarios spanning from (Web) serv
Mosaic
发表于 2025-3-25 13:29:40
http://reply.papertrans.cn/103/10216/1021589/1021589_23.png
没有贫穷
发表于 2025-3-25 16:08:40
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Latticesin the description logic . with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of ., we provide upper complexity bounds that match the compl
鼓掌
发表于 2025-3-25 21:15:38
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Latticesin the description logic . with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of ., we provide upper complexity bounds that match the compl
Rebate
发表于 2025-3-26 01:51:20
Ontology-Based Governance of Data-Aware Processesntologies. In particular, we consider processes executed over a relational database which issue calls to external services to acquire new information and update the data.We equip these processes with an OBDA system, in which an ontology modeling the domain of interest is connected through declarativ
fiction
发表于 2025-3-26 07:01:45
http://reply.papertrans.cn/103/10216/1021589/1021589_27.png
脱落
发表于 2025-3-26 09:02:53
http://reply.papertrans.cn/103/10216/1021589/1021589_28.png
Inkling
发表于 2025-3-26 14:37:39
http://reply.papertrans.cn/103/10216/1021589/1021589_29.png
冷漠
发表于 2025-3-26 20:24:14
Semantic Independence in DL-Programsinterest. When computing answer sets of a DL-program, special DL-atoms, which provide query interface to an ontology, are evaluated under a possibly changing input that gives a context for the evaluation. Many different such contexts may exist and evaluating a DL-atom may be costly even for one cont