Matrimony
发表于 2025-4-1 03:04:17
Expressive Reasoning with Horn Rules and Fuzzy Description Logicsextended with non-recursive Horn rules. Such an extension is most useful in realistic applications dealing with uncertainty and imprecision, such as multimedia processing and medical applications. Additionally, it provides the ability of answering to union of conjunctive queries, which is a novelty not previously addressed by fuzzy DL systems.
Irritate
发表于 2025-4-1 09:52:29
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRIst them by a knowledge-based method. The system uses statistical method for generating a sufficient set of initial facts for fruitful reasoning. Then, the reasoning is supported by an OWL DL ontology enriched by SWRL rules. The experiments described were achieved using the KAON2 reasoner for inferring the annotations.
canonical
发表于 2025-4-1 12:23:30
http://reply.papertrans.cn/103/10216/1021594/1021594_63.png
milligram
发表于 2025-4-1 15:10:42
Proof Explanation in the DR-DEVICE Systemis paper presents the design of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.
BRUNT
发表于 2025-4-1 20:30:39
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRIst them by a knowledge-based method. The system uses statistical method for generating a sufficient set of initial facts for fruitful reasoning. Then, the reasoning is supported by an OWL DL ontology enriched by SWRL rules. The experiments described were achieved using the KAON2 reasoner for inferring the annotations.
Ballerina
发表于 2025-4-2 00:57:32
http://reply.papertrans.cn/103/10216/1021594/1021594_66.png
EXULT
发表于 2025-4-2 03:57:15
http://reply.papertrans.cn/103/10216/1021594/1021594_67.png
Seminar
发表于 2025-4-2 09:26:36
http://reply.papertrans.cn/103/10216/1021594/1021594_68.png
无聊点好
发表于 2025-4-2 12:11:12
Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semanticsent detection: it is not sufficient to react to single event messages, but events have to be considered in relation to other events that are received over time..Emphasizing language design and formal semantics, we describe the rule-based query language XChange. for detecting composite events. XChang
floaters
发表于 2025-4-2 18:44:59
Well-Founded Semantics for Hybrid Rulesd inspired by the ideas of Constraint Logic Programming (CLP). . are defined as normal clauses extended with . in the bodies. The constraints are formulae in a language of a first order theory defined by a set . of axioms. Instances of the framework are obtained by specifying a language of constrain