An Occurrence Description Logic

DOI10.21146/2074-1472-2022-28-1-142-156MaRDI QIDQ5059717zbMATH OpenOpenAlexFDO

Authors Farshad Badie, Hans Gotzsche

Publication date 16 January 2023

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2022-28-1-142-156

zbMATH Keywords

description logicoccurrencelogic and languageoccurrence logicoccurrence priorityoccurrence value

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Description logics for ontologies
• Description Logics
• Automated Reasoning with Analytic Tableaux and Related Methods
• Object oriented description logic
• An introduction to description logic

Cites work

• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• An introduction to description logic
• Description logics in multimedia reasoning

This page was built for publication: An Occurrence Description Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5059717)