Expressive Description Logic Reasoning Using First-Order Resolution

View/Open

135432.pdf (330.2Kb)

Metadata

Show full item record

Link to refer to this document:

http://hdl.handle.net/10890/4690

Collections

BME PA dokumentumai [3588]

Title: Expressive Description Logic Reasoning Using First-Order Resolution
Author: Zombori, Zsolt
Date of issue: 2016
Language: en
Identifiers: MTMT: 2686174
Title of the container document: JOURNAL OF LOGIC AND COMPUTATION
Volume of container document: -
ISSN, e-ISSN: 0955-792X; 1465-363x
Document type: folyóiratcikk
Document genre: szakcikk