The completeness of reasoning algorithms for clause sets in description logic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si4.svg" display="inline" id="d1e76"><mml:mi mathvariant="script">ALC</mml:mi></mml:math>

Saved in:

Bibliographic Details
Published in:	Knowledge-Based Systems Vol. 286; p. 111405
Main Authors:	Ken Kaneiwa, Daiki Takahashi
Format:	Journal Article
Language:	Japanese
Published:	Elsevier BV 01.02.2024
Subjects:	Computer Science - Logic in Computer Science FOS: Computer and information sciences Logic in Computer Science (cs.LO)
ISSN:	0950-7051
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	0950-7051
DOI:	10.1016/j.knosys.2024.111405