Logical comparison over RDF resources in bio-informatics von Colucci, S., Donini, F.M., Di Sciascio, E.

Volltext

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach von Di Noia, T., Di Sciascio, E., Donini, F. M.

Volltext

An epistemic operator for description logics von Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.

Volltext

The Complexity of Concept Languages von Donini, Francesco M, Lenzerini, Maurizio, Nardi, Daniele, Nutt, Werner

Volltext

EXPtime tableaux for ALC von Donini, Francesco M., Massacci, Fabio

Volltext

Structured Knowledge Representation for Image Retrieval von Di Sciascio, E., Donini, F. M., Mongiello, M.

Volltext

Ontology-Based Natural Language Parser for E-Marketplaces von Coppi, S., Di Noia, T., Di Sciascio, E., Donini, F. M., Pinto, A.

Volltext

Space Efficiency of Propositional Knowledge Representation Formalisms von Cadoli, M., Donini, F. M., Liberatore, P., Schaerf, M.

Volltext

Survey on knowledge compilation von Cadoli, Marco, Donini, Francesco M

Volltext

Defining and computing Least Common Subsumers in RDF von Colucci, S., Donini, F.M., Giannini, S., Di Sciascio, E.

Volltext

Spatial layout representation for query-by-sketch content-based image retrieval von Di Sciascio, E., Donini, F.M., Mongiello, M.

Volltext

Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison von Massacci, Fabio, Donini, Francesco M.

Volltext

Description logics approach to semantic matching of Web services von COLUCCI, S, DI NOIA, T, DI SCIASCIO, E, DONINI, F. M, MONGIELLO, M

Volltext

Retrieval by spatial similarity: an algorithm and a comparative evaluation von Di Sciascio, E., Mongiello, M., Donini, F.M., Allegretti, L.

Volltext

I-Search: A System for Intelligent Information Search on the Web von Di Sciascio, E., Donini, F. M., Mongiello, M.

Volltext

k-approximating circuits von Cadoli, M., Donini, F.M., Liberatore, P., Schaerf, M.

Volltext

The complexity of existential quantification in concept languages von Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele, Hollunder, Bernhard, Nutt, Werner, Spaccamela, Alberto Marchetti

Volltext

Decidable Reasoning in Terminological Knowledge Representation Systems von Buchheit, M., Donini, F. M., Schaerf, A.

Volltext

A refined architecture for terminological systems: Terminology = Schema + Views von Buchheit, M., Donini, F.M., Nutt, W., Schaerf, A.

Volltext

Automating competence management through non-standard reasoning von Colucci, S., Tinelli, E., Di Sciascio, E., Donini, F.M.

Volltext