Carsten Lutz focuses on Description logic, Theoretical computer science, Algorithm, Decidability and Undecidable problem. His Description logic study combines topics in areas such as Ontology, Discrete mathematics and Conjunctive query. As a member of one scientific family, he mostly works in the field of Conjunctive query, focusing on Query language and, on occasion, Query expansion.
His work carried out in the field of Theoretical computer science brings together such families of science as Computational complexity theory, Modularity, P and Knowledge representation and reasoning. His Algorithm study integrates concerns from other disciplines, such as Non-monotonic logic, Application domain, Abox and Axiom. His Decidability study incorporates themes from Variety and Rotation formalisms in three dimensions.
Description logic, Theoretical computer science, Ontology, Conjunctive query and Decidability are his primary areas of study. His Description logic research is multidisciplinary, relying on both Computational complexity theory, Algorithm, Discrete mathematics and Algebra. His studies deal with areas such as Rewriting, P and Knowledge representation and reasoning as well as Theoretical computer science.
His studies in Ontology integrate themes in fields like Ontology, Data access and Vocabulary. His Conjunctive query research includes themes of Datalog, Query language, EXPTIME and Inverse. His study looks at the relationship between Decidability and topics such as Fragment, which overlap with Variable.
His scientific interests lie mostly in Description logic, Ontology, Theoretical computer science, Conjunctive query and Decidability. His research investigates the link between Description logic and topics such as Algebra that cross with problems in Logical consequence. Carsten Lutz has researched Ontology in several fields, including Ontology and Constant.
His research integrates issues of Context, Rewriting, P and Decision problem in his study of Theoretical computer science. The Conjunctive query study combines topics in areas such as Datalog, Query language, Sentence and Arity. His study in Decidability is interdisciplinary in nature, drawing from both Computational complexity theory, Fragment and Homomorphism.
Carsten Lutz spends much of his time researching Description logic, Conjunctive query, Theoretical computer science, Decidability and Ontology. His Description logic research includes elements of Time complexity and Algebra. His work deals with themes such as Datalog, Discrete mathematics, Inverse and Undecidable problem, which intersect with Conjunctive query.
The study incorporates disciplines such as Query language, Relational database and Parameterized complexity in addition to Discrete mathematics. His Decidability research is multidisciplinary, incorporating elements of Fragment and Homomorphism. His Ontology study combines topics from a wide range of disciplines, such as Ontology and P.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Pushing the EL envelope
Franz Baader;Sebastian Brandt;Carsten Lutz.
international joint conference on artificial intelligence (2005)
Pushing the EL Envelope Further.
Franz Baader;Carsten Lutz;Sebastian Brandt.
OWLED (Spring) (2008)
ε-connections of abstract description systems
Oliver Kutz;Carsten Lutz;Frank Wolter;Michael Zakharyaschev.
Artificial Intelligence (2004)
Did I damage my ontology? A case for conservative extensions in description logic
Silvio Ghilardi;Carsten Lutz;Frank Wolter.
principles of knowledge representation and reasoning (2006)
CEL: a polynomial-time reasoner for life science ontologies
Franz Baader;Carsten Lutz;Boontawee Suntisrivaraporn.
international joint conference on automated reasoning (2006)
Temporal Description Logics: A Survey
C. Lutz;F. Wolter;M. Zakharyashev.
international symposium on temporal representation and reasoning (2008)
Conjunctive query answering in the description logic EL using a relational database system
Carsten Lutz;David Toman;Frank Wolter.
international joint conference on artificial intelligence (2009)
Conservative extensions in expressive description logics
Carsten Lutz;Dirk Walther;Frank Wolter.
international joint conference on artificial intelligence (2007)
Description Logics with Concrete Domains-A Survey.
advances in modal logic (2002)
Conjunctive query answering for the description logic SHIQ
Birte Glimm;Ian Horrocks;Carsten Lutz;Ulrike Sattler.
Journal of Artificial Intelligence Research (2008)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: