Used together with:
non
(1)
standard
(1)
instanc
(1)
logic
(1)
check
(1)
Stem
elh$ (
all stems
)
1 papers:
KEOD-2014-TongphuS
#logic
#standard
A Non-standard Instance Checking for the Description Logic ELH (
ST
,
BS
), pp. 67–74.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.
KEOD-2014-TongphuS #logic #standard
KEOD-2014-TongphuS #logic #standard