Congregate
发表于 2025-3-25 04:51:55
A. Brennauer,S. Dove,A. Buschauertologies can be attached to a learning object. In light of this, our paper describes a practical approach that makes use of the IEEE LOM standard and which allows multiple ontologies to be included in the markup of learning objects.
束缚
发表于 2025-3-25 09:48:34
http://reply.papertrans.cn/23/2211/221028/221028_22.png
oxidize
发表于 2025-3-25 12:18:30
http://reply.papertrans.cn/23/2211/221028/221028_23.png
MELON
发表于 2025-3-25 15:59:06
http://reply.papertrans.cn/23/2211/221028/221028_24.png
podiatrist
发表于 2025-3-25 22:21:41
https://doi.org/10.1007/978-3-642-78480-4ts of existing frameworks for DLs with uncertainty in a generic way. Using this as a basis, we then discuss ways to extend these components with uncertainty, which includes the description language, the knowledge base, and the reasoning services. Detailed explanations and examples are included to describe the proposed completion rules.
外观
发表于 2025-3-26 03:22:04
http://reply.papertrans.cn/23/2211/221028/221028_26.png
Exclaim
发表于 2025-3-26 08:18:14
Incorporating Multiple Ontologies into the IEEE Learning Object Metadata Standardtologies can be attached to a learning object. In light of this, our paper describes a practical approach that makes use of the IEEE LOM standard and which allows multiple ontologies to be included in the markup of learning objects.
Formidable
发表于 2025-3-26 10:41:33
http://reply.papertrans.cn/23/2211/221028/221028_28.png
CEDE
发表于 2025-3-26 14:13:23
DatalogDL: Datalog Rules Parameterized by Description Logicsveloped techniques, we present a principled approach to enrich (RuleML) rules with information from (OWL) ontologies, and develop a prototype system integrating a rule engine (OO jDREW) with a DL reasoner (RACER).
凶兆
发表于 2025-3-26 20:51:09
Resolution Based Explanations for Reasoning in the Description Logic ,vious work and present an algorithm that generates explanations for unsatisfiability and inconsistency reasoning in the description language .. The main advantage of our approach is that it is independent of any specific DL reasoners.