Inproceedings,

Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.

, , and .
GCAI, volume 55 of EPiC Series in Computing, page 1-14. EasyChair, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews