Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Proof-Theoretic Approach to Description-Logic
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Logical properties of foundational relations in bio-ontologies
Artificial Intelligence in Medicine
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
The two cultures: mashing up web 2.0 and the semantic web
Proceedings of the 16th international conference on World Wide Web
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
A formal road from institutional norms to organizational structures
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Expressive probabilistic description logics
Artificial Intelligence
Axiom Pinpointing in General Tableaux
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Pinpointing in the Description Logic $\mathcal {EL}^+$
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Individual Reuse in Description Logic Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Cheap Boolean Role Constructors for Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Web Semantics: Science, Services and Agents on the World Wide Web
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Rewriting Conjunctive Queries over Description Logic Knowledge Bases
Semantics in Data and Knowledge Bases
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Formal Properties of Modularisation
Modular Ontologies
Extracting Modules from Ontologies: A Logic-Based Approach
Modular Ontologies
Formal Aspects of Legislative Meta-Drafting
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Mathematical Logic for Life Science Ontologies
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Unification in the Description Logic $\mathcal{EL}$
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
DL-lite in the light of first-order logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Complexity boundaries for horn description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Journal of Artificial Intelligence Research
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
Deciding inseparability and conservative extensions in the description logic EL
Journal of Symbolic Computation
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Defeasible inclusions in low-complexity DLs: preliminary notes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Import-by-query: ontology reasoning under access limitations
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Applications and extensions of PTIME description logics with functional constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Consequence-driven reasoning for horn SHIQ ontologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Conjunctive query answering in the description logic EL using a relational database system
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
ISWC '09 Proceedings of the 8th International Semantic Web Conference
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Exploiting Partial Information in Taxonomy Construction
ISWC '09 Proceedings of the 8th International Semantic Web Conference
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Supporting the Development of Data Wrapping Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
Ontology Engineering Relationally
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Reconciling description logics and rules
Journal of the ACM (JACM)
Polynomial constraints for sets with cardinality bounds
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Expressive reasoning with horn rules and fuzzy description logics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Consistent query answering over description logic ontologies
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Data complexity in the ƐL family of description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Conjunctive queries for a tractable fragment of OWL 1.1
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A finite basis for the set of ƐL-implications holding in a finite model
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Module extraction and incremental classification: a pragmatic approach for ƐL+ ontologies
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Journal on data semantics X
Towards a Functional Approach to Modular Ontologies using Institutions
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Enriching EL-Concepts with Greatest Fixpoints
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Querying in EL+ with Nonmonotonic Rules
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Forgetting for knowledge bases in DL-Lite
Annals of Mathematics and Artificial Intelligence
Approximate instance retrieval on ontologies
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Expressive approximations in DL-lite ontologies
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Efficient inferencing for OWL EL
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
SAT encoding of unification in EL
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
EL with default attributes and overriding
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
Keyword-based, context-aware selection of natural language query patterns
Proceedings of the 14th International Conference on Extending Database Technology
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Proceedings of the sixth international conference on Knowledge capture
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
A practical approach for computing generalization inferences in EL
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Generalized satisfiability for the description logic ALC
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
A tableau calculus for a nonmonotonic extension of EL⊥
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Unification in the description logic EL without the top concept
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Using SPARQL with RDFS and OWL entailment
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Ontological query answering with existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Towards farsighted dependencies for existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
ELOG: a probabilistic reasoner for OWL EL
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Inline evaluation of hybrid knowledge bases PhD description
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
A tableau calculus for a nonmonotonic extension of the description logic DL-litecore
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Coherent top-k ontology alignment for OWL EL
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Concurrent classification of EL ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Optimising ontology stream reasoning with truth maintenance system
Proceedings of the 20th ACM international conference on Information and knowledge management
An algorithm for axiom pinpointing in EL+ and its incremental variant
Proceedings of the 20th ACM international conference on Information and knowledge management
Rule-enhanced domain models for cloud security governance, risk and compliance management
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
View-based query answering in Description Logics: Semantics and complexity
Journal of Computer and System Sciences
A new n-ary existential quantifier in description logics
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Subsumption in w.r.t. hybrid TBoxes
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
The limits of querying ontologies
ICDT'07 Proceedings of the 11th international conference on Database Theory
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes
Journal of Automated Reasoning
Towards top-k query answering in description logics: the case of DL-Lite
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A survey of the web ontology landscape
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
CEL: a polynomial-time reasoner for life science ontologies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
TrOWL: tractable OWL 2 reasoning infrastructure
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Semantic web architecture: stack or two towers?
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Context-dependent views to axioms and consequences of Semantic Web ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Journal of Biomedical Informatics
Bring efficient connotation expressible policies to trust management
ICICS'09 Proceedings of the 11th international conference on Information and Communications Security
Tractable extensions of the description logic EL with numerical datatypes
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Optimized description logic reasoning via core blocking
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
An extension of complex role inclusion axioms in the description logic SROIQ
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
A generic approach for correcting access restrictions to a consequence
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Structural distance between EL+ concepts
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Top-k retrieval for ontology mediated access to relational databases
Information Sciences: an International Journal
On the link between partial meet, kernel, and infra contraction and its application to Horn logic
Journal of Artificial Intelligence Research
Defeasible inclusions in low-complexity DLs
Journal of Artificial Intelligence Research
Uniform evaluation of nonmonotonic DL-Programs
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
A novel approach to ontology classification
Web Semantics: Science, Services and Agents on the World Wide Web
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
On the complexity of EL with defeasible inclusions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Reasoning about typicality in low complexity DLs: the logics EL⊥Tmin and DL-LitecTmin
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On the complexity of dealing with inconsistency in description logic ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Consequence-based reasoning beyond horn ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
What to ask to an incomplete semantic web reasoner?
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Efficient rule-based inferencing for OWL EL
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Towards ABox Modularization of semi-expressive Description Logics
Applied Ontology - Modularity in Ontologies
SAT encoding of unification in ELHR+ w.r.t. cycle-restricted ontologies
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
UEL: unification solver for the description logic EL - system description
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
On the complexity of ontological reasoning under disjunctive existential rules
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Tractable reasoning with vague knowledge using fuzzy $\mathcal{EL}^{++}$
Journal of Intelligent Information Systems
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
A user and NLP-assisted strategic workflow for a social semantic OWL 2-based knowledge platform
Proceedings of the Workshop on Semantic Analysis in Social Media
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Towards more expressive ontology languages: The query answering problem
Artificial Intelligence
Concept learning for EL++ by refinement and reinforcement
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
A knowledge-based approach to augment applications with interaction traces
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Existential rules: a graph-based view
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
On the (non-)succinctness of uniform interpolation in general EL terminologies
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A mobile reasoner for semantic-based matchmaking
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Description logic knowledge base exchange
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Embedded EL + reasoning on programmable logic controllers
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Applying semantic web technologies for diagnosing road traffic congestions
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Very large scale OWL reasoning through distributed computation
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
A goal-oriented algorithm for unification in ELHR+ w.r.t. cycle-restricted ontologies
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Towards Practical ABox Abduction in Large Description Logic Ontologies
International Journal on Semantic Web & Information Systems
Reasoning over ontologies with hidden content: the import-by-query approach
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Concept adjustment for description logics
Proceedings of the seventh international conference on Knowledge capture
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Towards an efficient algorithm to reason over description logics extended with nominal schemas
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Eliminating nonmonotonic DL-Atoms in description logic programs
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
HornDL: an expressive horn description logic with PTime data complexity
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Generalized satisfiability for the description logic ALC
Theoretical Computer Science
Semantic to intelligent web era: building blocks, applications, and current trends
Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems
First-order rewritability of atomic queries in horn description logics
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Conjunctive regular path queries in lightweight description logics
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Tractable queries for lightweight description logics
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Tractable approximations of consistent query answering for robust ontology-based data access
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Positive subsumption in fuzzy EL with general t-norms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The impact of disjunction on query answering under guarded-based existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Computing datalog rewritings beyond horn ontologies
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology-based data access with closed predicates is inherently intractable (sometimes)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Most specific generalizations w.r.t. general EL-TBoxes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Predicting knowledge in an ontology stream
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
STAR-CITY: semantic traffic analytics and reasoning for CITY
Proceedings of the 19th international conference on Intelligent User Interfaces
Query rewriting under query refinements
Knowledge-Based Systems
Datalog-based framework for efficient query answering over fuzzy ontologies
International Journal of Metadata, Semantics and Ontologies
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
Taming the infinite chase: query answering under expressive relational constraints
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL0, which allows for conjunction and value restrictions. Whereas the subsumption problem in FL0 becomes already intractable in the presence of acyclic TBoxes, it remains tractable in EL even with general concept inclusion axioms (GCIs). On the one hand, we extend the positive result for EL by identifying a set of expressive means that can be added to EL without sacrificing tractability. On the other hand, we show that basically all other additions of typical DL constructors to EL with GCIs make subsumption intractable, and in most cases even EXPTIME-complete. In addition, we show that subsumption in FL0 with GCIs is EXPTIME-complete.