Results 61 to 70 of about 3,544,832 (346)
A Novel Digitalization Approach for Smart Materials – Ontology‐Based Access to Data and Models
In order to access heterogeneous material data and model‐based knowledge, the established ontology‐based data access (OBDA) is extended to include material models. This novel ontology‐based data and model access (OBDMA) enables the computation of new responses beyond stored data.
Jürgen Maas+15 more
wiley +1 more source
ALE Defeasible Description Logic [PDF]
One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning.
D. Billington+6 more
core +2 more sources
Preferential Description Logics [PDF]
We extend the Description Logic ALC with a "typicality" operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ALC + T. The typicality operator is intended to select the "most normal" or "most typical" instances of a concept. In our framework, knowledge bases may then contain,
L. GIORDANO+3 more
openaire +3 more sources
FAIR and Structured Data: A Domain Ontology Aligned with Standard‐Compliant Tensile Testing
The digitalization in materials science and engineering is discussed, emphasizing the importance of digital workflows and ontologies in managing diverse experimental data. Challenges such as quality assurance and data interoperability are tackled with semantic web technologies, focusing and introducing the tensile test ontology (TTO).
Markus Schilling+6 more
wiley +1 more source
We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology of different
Stefan Schulz+3 more
doaj
MP-HTHEDL: A Massively Parallel Hypothesis Evaluation Engine in Description Logic
We present MP-HTHEDL, a massively parallel hypothesis evaluation engine for inductive learning in description logic (DL). MP-HTHEDL is an extension on our previous work HT-HEDL, which also targets improving hypothesis evaluation performance for inductive
Eyad Algahtani
doaj +1 more source
How Philosophical is Informal Logic?
Consider the proposition, "Informal logic is a subdiscipline of philosophy". The best chance of showing this to be true is showing that informal logic is part of logic, which in turn is a part of philosophy.
John Woods
doaj +1 more source
Conjunctive Query Answering for the Description Logic SHIQ
Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood if transitive
Glimm, Birte+3 more
core +1 more source
On similarity in fuzzy description logics [PDF]
This paper is a contribution to the study of similarity relations between objects represented as attribute-value pairs in Fuzzy Description Logics . For this purpose we use concrete domains in the fuzzy description logic IALCEF(D)IALCEF(D) associated either with a left-continuous or with a finite t-norm.
Armengol, Eva+2 more
openaire +4 more sources
This article introduces an automated approach for converting the raw research data (use case of low‐cycle‐fatigue testing dataset) to machine‐readable resource description framework ones and storing them in an open digital repository. As two main prerequisites for this data digitalization process, the development of fatigue testing ontology and ckan ...
Hossein Beygi Nasrabadi+2 more
wiley +1 more source