Anni-Yasmin Turhan

Künstliche Intell., 2022

Computing generalizations of temporal εL concepts with next and global.

[BibT_eX]

[DOI]

Satyadharma Tirtarasa

Igor de Camargo e Souza Câmara

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥.

[BibT_eX]

[DOI]

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

User-aware Explications of Ontology Consequences: Levelling Technicality.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022

A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).

[BibT_eX]

[DOI]

Satyadharma Tirtarasa

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Enhancing Probabilistic Model Checking with Ontologies.

[BibT_eX]

[DOI]

Clemens Dubslaff

Formal Aspects Comput., 2021

Counter Model Transformation for Explaining Non-Subsumption in EL.

[BibT_eX]

[DOI]

Christian Alrabbaa

Willi Hieke

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.

[BibT_eX]

[DOI]

Oliver Fernández Gil

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Semantic Technologies for Situation Awareness.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

Towards Model Transformation in Description Logics - Investigating the Case of Transductions.

[BibT_eX]

[DOI]

Willi Hieke

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).

[BibT_eX]

[DOI]

Oliver Fernández Gil

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.

[BibT_eX]

[DOI]

Clemens Dubslaff

2019

Ontology-mediated query answering over temporal and inconsistent data.

[BibT_eX]

[DOI]

Camille Bourgaux

Semantic Web, 2019

Bridging the Prototype Gap: On the Evolution of Ugly Ducklings.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner.

[BibT_eX]

[DOI]

Friedrich Michel

Axel-Cyrille Ngonga Ngomo

Benjamin Zarrieß

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Congenial Benchmarking of RDF Storage Solutions.

[BibT_eX]

[DOI]

Felix Conrads

Proceedings of the 10th International Conference on Knowledge Capture, 2019

Ontology-Mediated Probabilistic Model Checking.

[BibT_eX]

[DOI]

Clemens Dubslaff

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Practical Query Rewriting for DL-Lite with Numerical Predicates.

[BibT_eX]

[DOI]

Christian Alrabbaa

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

Towards an Equivalence Degree of EL CQs (Extended Abstract).

[BibT_eX]

[DOI]

Oliver Fernández Gil

Proceedings of the 32nd International Workshop on Description Logics, 2019

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2018

Query Answering for Rough EL Ontologies (Extended Technical Report).

[BibT_eX]

[DOI]

Veronika Thost

CoRR, 2018

Query Answering for Rough EL Ontologies.

[BibT_eX]

[DOI]

Veronika Thost

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.

[BibT_eX]

[DOI]

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness.

[BibT_eX]

[DOI]

Thomas Lukasiewicz

FLAP, 2017

Temporal Query Answering in DL-Lite over Inconsistent Data.

[BibT_eX]

[DOI]

Camille Bourgaux

Proceedings of the Semantic Web - ISWC 2017, 2017

Making Quantification Relevant Again - the Case of Defeasible EL_\bot.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), 2017

Including Quantification in Defeasible Reasoning for the Description Logic EL⊥.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Energy-Efficiency of OWL Reasoners - Frequency Matters.

[BibT_eX]

[DOI]

Marcus Hähnel

Proceedings of the Semantic Technology - 7th Joint International Conference, 2017

Using Ontologies to Query Probabilistic Numerical Data.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.

[BibT_eX]

[DOI]

J. Data Semant., 2016

Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property.

[BibT_eX]

[DOI]

Claudia Carapelle

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Pleased to Meet You!

[BibT_eX]

[DOI]

Künstliche Intell., 2015

Similarity-based relaxed instance queries.

[BibT_eX]

[DOI]

J. Appl. Log., 2015

Towards Temporal Fuzzy Query Answering on Stream-based Data.

[BibT_eX]

[DOI]

Erik Zenker

Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite.

[BibT_eX]

[DOI]

Theofilos P. Mailis

Erik Zenker

Proceedings of the 28th International Workshop on Description Logics, 2015

Elastiq: Answering Similarity-threshold Instance Queries in EL.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Conjunctive Query Answering with Finitely Many Truth Degrees.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics.

[BibT_eX]

[DOI]

Theofilos P. Mailis

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, 2014

Answering Instance Queries Relaxed by Concept Similarity.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Reasoning in ALC with Fuzzy Concrete Domains.

[BibT_eX]

[DOI]

Dorian Merz

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Employing DL\text -Lite_R -Reasoners for Fuzzy Query Answering.

[BibT_eX]

[DOI]

Theofilos P. Mailis

Proceedings of the Semantic Technology - 4th Joint International Conference, 2014

Certain Answers in a Rough World.

[BibT_eX]

[DOI]

Veronika Thost

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Mary, What's Like All Cats?

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013

Introductions to Description Logics - A Guided Tour.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30, 2013

Situation recognition for service management systems using OWL 2 reasoners.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Computing Role-Depth Bounded Generalizations in the Description Logic.

[BibT_eX]

[DOI]

Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Most Specific Generalizations w.r.t. General EL-TBoxes.

[BibT_eX]

[DOI]

Benjamin Zarrieß

Proceedings of the IJCAI 2013, 2013

Computing the lcs w.r.t. General EL+-TBoxes.

[BibT_eX]

[DOI]

Benjamin Zarrieß

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+.

[BibT_eX]

[DOI]

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts.

[BibT_eX]

[DOI]

Karsten Lehmann

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Role-depth Bounded Least Common Subsumers for EL+ and ELI.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Description logic reasoning for semantic web ontologies.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011

A Practical Approach for Computing Generalization Inferences in EL\mathcal{EL}.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2011

Implementing Completion-Based Inferences for the EL-family.

[BibT_eX]

[DOI]

Julian Mendez

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Small is Again Beautiful in Description Logics.

[BibT_eX]

[DOI]

Carsten Lutz

Künstliche Intell., 2010

Reasoning and Explanation in EL and in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30, 2010

Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

2009

Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations.

[BibT_eX]

[DOI]

Thomas Springer

J. Ambient Intell. Smart Environ., 2009

2007

On the computation of common subsumers in description logics.

[BibT_eX]

[DOI]

PhD thesis, 2007

Computing the least common subsumer w.r.t. a background terminology.

[BibT_eX]

[DOI]

Baris Sertkaya

J. Appl. Log., 2007

Speeding up Approximation with Nicer Concepts.

[BibT_eX]

[DOI]

Yusri Bong

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Pushing Doors for Modeling Contexts with OWL DL a Case Study.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Thomas Springer

Michael Berger

Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners.

[BibT_eX]

[DOI]

Peter F. Patel-Schneider

Timo Weithöner

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

2004

Sonic: System Description.

[BibT_eX]

[DOI]

Christian Kissig

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Sonic - Non-standard Inferences Go OilEd.

[BibT_eX]

[DOI]

Christian Kissig

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.

[BibT_eX]

[DOI]

Ralf Küsters

Proceedings of the Logic for Programming, 2003

Computing Least Common Subsumers for FLE+.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

Approximation and Difference in Description Logics.

[BibT_eX]

Ralf Küsters

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

On the Problem of Computing Small Representations of Least Common Subsumers.

[BibT_eX]

[DOI]

Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

Approximating ALCN-Concept Descriptions.

[BibT_eX]

[DOI]

Ralf Küsters

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2001

Using Lazy Unfolding for the Computation of Least Common Subsumers.

[BibT_eX]

[DOI]

Ralf Molitor

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

TBoxes do not Yield a Compact Representation of Least Common Subsumers.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Ralf Möller

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Adapting Optimization Techniques to Description Logics with Concrete Domains.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999

On Terminological Default Reasoning about Spatial Information: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998

Implementing an ALCRP(D) ABox Reasoner - Progress Report.

[BibT_eX]

[DOI]

Ralf Möller

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

HAM-ALC.

[BibT_eX]

[DOI]

Ralf Möller