Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[HTML][HTML] A systematic review of ontology use in E-Learning recommender system
Ontology and knowledge-based systems typically provide e-learning recommender systems.
However, ontology use in such systems is not well studied in systematic detail. Therefore …
However, ontology use in such systems is not well studied in systematic detail. Therefore …
[HTML][HTML] Ontologies applied in clinical decision support system rules: Systematic review
Background Clinical decision support systems (CDSSs) are important for the quality and
safety of health care delivery. Although CDSS rules guide CDSS behavior, they are not …
safety of health care delivery. Although CDSS rules guide CDSS behavior, they are not …
[HTML][HTML] An automatic ontology-based approach to support logical representation of observable and measurable data for healthy lifestyle management: Proof-of …
Background Lifestyle diseases, because of adverse health behavior, are the foremost cause
of death worldwide. An eCoach system may encourage individuals to lead a healthy lifestyle …
of death worldwide. An eCoach system may encourage individuals to lead a healthy lifestyle …
[HTML][HTML] Personalized recommendations for physical activity e-coaching (OntoRecoModel): ontological modeling
Background Automatic e-coaching may motivate individuals to lead a healthy lifestyle with
early health risk prediction, personalized recommendation generation, and goal evaluation …
early health risk prediction, personalized recommendation generation, and goal evaluation …
A multiplatform reasoning engine for the Semantic Web of Everything
Abstract The Internet of Everything and Semantic Web can be joined by giving more
intelligence to pervasive systems. To that end, reasoning capabilities should be enabled …
intelligence to pervasive systems. To that end, reasoning capabilities should be enabled …
Finding small proofs for description logic entailments: Theory and practice (extended technical report)
Logic-based approaches to AI have the advantage that their behaviour can in principle be
explained by providing their users with proofs for the derived consequences. However, if …
explained by providing their users with proofs for the derived consequences. However, if …
[PDF][PDF] Signature-based abduction for expressive description logics
Signature-based abduction aims at building hypotheses over a specified set of names, the
signature, that explain an observation relative to some background knowledge. This type of …
signature, that explain an observation relative to some background knowledge. This type of …
RSP4J: an API for RDF stream processing
Abstract The RDF Stream Processing (RSP) community has proposed several models and
languages for continuously querying and reasoning over RDF streams over the last decade …
languages for continuously querying and reasoning over RDF streams over the last decade …
[HTML][HTML] An ontology to represent geospatial data to support building renovation
Energy-efficient building renovation is an inter-disciplinary task and requires investigation
about the building condition in the urban, environmental, and societal context. Existing …
about the building condition in the urban, environmental, and societal context. Existing …
Test-driven development of ontologies
Emerging ontology authoring methods to add knowledge to an ontology focus on
ameliorating the validation bottleneck. The verification of the newly added axiom is still one …
ameliorating the validation bottleneck. The verification of the newly added axiom is still one …