Sign in

A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4, ×.

Domenico CantoneMarianna Nicolosi AsmundoDaniele Francesco Santamaria
Published in: Fundam. Informaticae (2020)
Keyphrases
  • description logics
  • reasoning services
  • knowledge base
  • knowledge representation
  • ontology languages
  • semantic web
  • reasoning tasks
  • dl lite
  • owl dl
  • machine learning
  • database systems
  • computational properties