Barbara Morawska

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 7

Top Topics

Reasoning Tasks

Description Logics

Number Restrictions

Top Venues

Description Logics

Log. Methods Comput. Sci.

Publications

Barbara Morawska
. CoRR (2024)
Barbara Morawska
Unification in the Description Logic FL⊥. Description Logics (2021)
Barbara Morawska
Unification in FL0 Modulo a Flat TBox. Description Logics (2020)
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame J. Formal Log. 57 (4) (2016)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. Log. Methods Comput. Sci. 12 (4) (2016)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL. RTA (2015)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL (Extended Abstract). Description Logics (2015)
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL. UNIF (2014)
Franz Baader, Barbara Morawska
Matching with Respect to General Concept Inclusions in the Description Logic EL. Description Logics (2014)
Franz Baader, Barbara Morawska
. KI (2014)
Franz Baader, Oliver Fernandez Gil, Barbara Morawska
Hybrid Unification in the Description Logic. FroCos (2013)
Franz Baader, Oliver Fernandez Gil, Barbara Morawska
Hybrid EL-Unification is NP-complete. Description Logics (2013)
Franz Baader, Oliver Fernandez Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL. UNIF@RTA/TLCA (2013)
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies. Australasian Conference on Artificial Intelligence (2012)
Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies. IJCAR (2012)
Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska
UEL: Unification Solver for EL. Description Logics (2012)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Recent Advances in Unification for the EL Family. UNIF (2012)
Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models. LPAR (2012)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL Towards General TBoxes. KR (2012)
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Description Logics (2012)
Franz Baader, Julian Mendez, Barbara Morawska
UEL: Unification Solver for the Description Logic $\mathcal{EL}$ - System Description. IJCAR (2012)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-unifiers is Hard. Advances in Modal Logic (2012)
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept. Description Logics (2011)
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Computing Local Unifiers in the Description Logic EL without the Top Concept. UNIF (2011)
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
without the Top Concept. CADE (2011)
Franz Baader, Barbara Morawska
. LPAR (Yogyakarta) (2010)
Franz Baader, Barbara Morawska
Unification in the Description Logic EL Log. Methods Comput. Sci. 6 (3) (2010)
Franz Baader, Barbara Morawska
Unification in the Description Logic EL. Description Logics (2009)
Franz Baader, Barbara Morawska
Unification in the Description Logic EL. RTA (2009)
Franz Baader, Barbara Morawska
Unification in the Description Logic EL is of Type Zero. UNIF (2008)
Barbara Morawska
-unification with Eager Variable Elimination and a Nice Cycle Rule. J. Autom. Reason. 39 (1) (2007)
Christopher Lynch, Barbara Morawska
with Sorts for Some Separable Equational Theories. RTA (2005)
Barbara Morawska
Completeness of E-Unification with Eager Variable Elimination. LPAR (2003)
Christopher Lynch, Barbara Morawska
Basic Syntactic Mutation. CADE (2002)
Christopher Lynch, Barbara Morawska
Automatic Decidability. LICS (2002)
Christopher Lynch, Barbara Morawska
Decidability and Complexity of Finitely Closable Linear Equational Theories. IJCAR (2001)
Christopher Lynch, Barbara Morawska
Complexity of Linear Standard Theories. LPAR (2001)
Christopher Lynch, Barbara Morawska
Goal-Directed E-Unification. RTA (2001)