臭名昭著 发表于 2025-4-1 03:30:15

http://reply.papertrans.cn/103/10216/1021593/1021593_61.png

讨人喜欢 发表于 2025-4-1 05:59:47

Defeasibility in Answer Set Programs via Argumentation Theories is reducible to ordinary ASP programs, albeit at the cost of exponential blowup in the number of rules. Second, we study reducibility of ASPDA to the non-disjunctive case and show that head-cycle-free ASPDA programs reduce to the non-disjunctive case—similarly to head-cycle-free ASP programs, but t

Nausea 发表于 2025-4-1 14:09:03

KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledgeching. This allows KWilt to evaluate basic queries at almost the speed of the underlying search engine, yet also provides all the power of full first-order queries, where needed. Moreover, adding new data formats or abilities is easier than in a monolithic system.

杂色 发表于 2025-4-1 16:23:33

Darko Anicic,Paul Fodor,Sebastian Rudolph,Roland Stühmer,Nenad Stojanovic,Rudi Studer384330.jpg

irradicable 发表于 2025-4-1 19:28:07

http://reply.papertrans.cn/103/10216/1021593/1021593_65.png

摄取 发表于 2025-4-1 23:10:50

Reinhard Pichler,Axel Polleres,Sebastian Skritek,Stefan Woltran384337.jpg

conformity 发表于 2025-4-2 06:49:31

http://reply.papertrans.cn/103/10216/1021593/1021593_67.png

奖牌 发表于 2025-4-2 09:39:56

http://reply.papertrans.cn/103/10216/1021593/1021593_68.png

鸟笼 发表于 2025-4-2 14:40:11

Data Validation with OWL Integrity Constraintschoose which axioms will be interpreted with IC semantics and combine open world reasoning with closed world constraint validation in a flexible way. We also show that IC validation can be reduced to query answering under certain conditions.

incubus 发表于 2025-4-2 16:11:46

Query-Based Access Control for Ontologies a label representing its access level. We present methods to find an optimal axiom labeling to enforce query-based access restrictions and report experiments on real world data showing that a significant number of results are retained using the axiom filtering method.
页: 1 2 3 4 5 6 [7] 8
查看完整版本: Titlebook: Web Reasoning and Rule Systems; Fourth International Pascal Hitzler,Thomas Lukasiewicz Conference proceedings 2010 Springer-Verlag Berlin H