A Roadmap to Gradually Compare and Benchmark Description Logic Calculi

doi 10.29007/tgc4
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

EasyChair

Related search

Calculi for Disjunctive Logic Programming

1997English

Description of a Kidney, With Cyst, Containing Calculi

BMJ
1866English

Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction

Journal of Symbolic Logic
PhilosophyLogic
2018English

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Automated Theorem Proving by Translation to Description Logic

EasyChair Preprints
2018English

Link Prediction Using a Probabilistic Description Logic

Journal of the Brazilian Computer Society
Computer Science
2013English

A Characterization Theorem for a Modal Description Logic

2017English

LTL Over Description Logic Axioms

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2012English

A Faithful Translation From Entity-Relationship Schemas to the Description Logic ALENI+

Journal of Software
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy