Results 331 to 340 of about 3,682,520 (371)

Anaphoric Definitions in Description Logic

2002
This paper investigates the possibility of adding machinery to description logic which allows one to define self-referential concepts. An example of such a concept is a narcissist, someone who loves himself. With domains in which the natural ontology is a graph instead of a tree, this extra expressive power is often desired (e.g., when writing an ...
Marx, M.J., Dastani, M.M.
openaire   +2 more sources

Denotation and description in free logic*

Theoria, 1991
The author offers ``a defence of free logic, specifically a free logic admitting both empty names and empty definite descriptions as genuine singular terms''. He presents an interpreted first-order language containing both its own denotation predicate and the definite description operator, and argues that (1) such languages provide a positive support ...
openaire   +1 more source

Pinpointing in the Description Logic EL+

2007
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base that have the consequence in question. Until now, the pinpointing approach has only been applied to the DL ALC and some of its extensions.
Baader, F, Peñaloza, R, Suntisrivaraporn, B   +2 more
openaire   +2 more sources

Description Logics in Multimedia Reasoning

2017
This book illustrates how to use description logic-based formalisms to their full potential in the creation, indexing, and reuse of multimedia semantics. To do so, it introduces researchers to multimedia semantics by providing an in-depth review of state-of-the-art standards, technologies, ontologies, and software tools.
openaire   +2 more sources

Expressive Description Logics

2007
DIEGO CALVANESE, DE GIACOMO, Giuseppe
openaire   +2 more sources

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly  

Current-driven magnetic domain-wall logic

Nature, 2020
Zhaochu Luo, Aleš Hrabec, Trong Phuong Dao   +2 more
exaly  

Logic gates based on neuristors made from two-dimensional materials

Nature Electronics, 2021
Chunsen liu, Jianlu Wang, Weida Hu
exaly  

Reconfigurable logic and neuromorphic circuits based on electrically tunable two-dimensional homojunctions

Nature Electronics, 2020
Chen Pan, Chen-Yu Wang, Shi-Jun Liang
exaly