Error message

Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /web/daselab/sites/all/modules/biblio/includes/biblio_theme.inc).

Efficient Reasoning Algorithms for Fragments of Horn Description Logics

Title	Efficient Reasoning Algorithms for Fragments of Horn Description Logics
Publication Type	Thesis
Authors	Carral, D

PhD Dissertation Carral.pdf

Projects:

TROn - Tractable Reasoning with Ontologies