Amanote Research
Register
Sign In
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi
doi 10.29007/tgc4
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Fred Freitas
Publisher
EasyChair
Related search
Calculi for Disjunctive Logic Programming
Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction
Journal of Symbolic Logic
Philosophy
Logic
Description of a Kidney, With Cyst, Containing Calculi
BMJ
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Theorem Proving by Translation to Description Logic
EasyChair Preprints
Link Prediction Using a Probabilistic Description Logic
Journal of the Brazilian Computer Society
Computer Science
A Characterization Theorem for a Modal Description Logic
LTL Over Description Logic Axioms
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
A Faithful Translation From Entity-Relationship Schemas to the Description Logic ALENI+
Journal of Software
