An ExpSpace Tableau-based Algorithm for SHOIQ
type: Dataset
description: International audience
issued: 2026-05-13T03:26:01.075877
language: en
modified: 2026-05-13T03:26:01.075883
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: description-logic
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: ontology
keyword: reasoning
landing page: DL 2012

An ExpSpace Tableau-based Algorithm for SHOIQ
type: Distribution
format: HTML
issued: 2026-05-13T03:26:01.079095
modified: 2026-05-13T03:26:01.054089
access URL: https://hal.science/hal-00799028

test_moissonnage_selune
type: Agent