Non-distributive Description Logic.

Ineke van der Berg Andrea De Domenico Giuseppe Greco Krishna Manoorkar Alessandra Palmigiano Mattia Panettiere

Published in: TABLEAUX (2023)

Keyphrases

description logics
knowledge base
reasoning tasks
computational properties
dl lite

knowledge representation and reasoning
knowledge representation
computing least common subsumers
reasoning problems
semantic web

reasoning systems
concept descriptions
reasoning mechanism
ontology languages
owl ontologies

model theoretic
reasoning services
number restrictions
dl programs