Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Carsten Lutz
Query Inseparability for ALC Ontologies
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
LTL Over Description Logic Axioms
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Related publications
Aligning Medical Domain Ontologies for Clinical Query Extraction
A General Datalog-Based Framework for Tractable Query Answering Over Ontologies
SSRN Electronic Journal
Get My Pizza Right: Repairing Missing Is-A Relations in ${\Cal ALC}$ Ontologies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A General Datalog-Based Framework for Tractable Query Answering Over Ontologies
Complete Query Answering Over Horn Ontologies Using a Triple Store
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Proposal for Screening Inconsistencies in Ontologies Based on Query Languages Using WSD
Creativity and Effective Inseparability
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Query Rewriting and Semantic Annotation in Semantic-Based Image Retrieval Under Heterogeneous Ontologies of Big Data
Traitement du Signal
Electronic Engineering
Electrical
Ontologies for Industry 4.0
Knowledge Engineering Review
Artificial Intelligence
Software
