Sergio Tessaris

Thom W. Frühwirth

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Parsing with Partially Known Grammar.

[BibT_eX]

[DOI]

Ife Adebara

Verónica Dahl

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies.

[BibT_eX]

Ife Adebara

Verónica Dahl

Chiara Di Francescomarino

Proceedings of the ICAART 2015, 2015

Completing Workflow Traces Using Action Languages.

[BibT_eX]

[DOI]

Chiara Di Francescomarino

Itzel Vázquez Sandoval

Proceedings of the Advanced Information Systems Engineering, 2015

2014

Reasoning on Incomplete Execution Traces Using Action Languages - A First Report.

[BibT_eX]

[DOI]

Itzel Vázquez Sandoval

Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014

2013

Verification of Artifact-Centric Systems: Decidability and Modeling Issues.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2012

The ICOM 3.0 intelligent conceptual modelling tool and methodology.

[BibT_eX]

[DOI]

Pablo R. Fillottrani

Semantic Web, 2012

The Algebra and the Logic for SQL Nulls.

[BibT_eX]

[DOI]

Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

On the Logic of SQL Nulls.

[BibT_eX]

[DOI]

Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

Combining Process and Ontological Modeling.

[BibT_eX]

[DOI]

Dmitry Solomakhin

Ali Fawzi Najm Al-Shammari

Marco Montali

Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012

2011

Vote verification through open standard: A roadmap.

[BibT_eX]

[DOI]

Komminist Weldemariam

Adolfo Villafiorita

Proceedings of the 2011 International Workshop on Requirements Engineering for Electronic Voting Systems, 2011

Quelo: an Ontology-Driven Query Interface.

[BibT_eX]

[DOI]

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

Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology.

[BibT_eX]

[DOI]

Pablo R. Fillottrani

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

2010

Supporting the Development of Data Wrapping Ontologies (Extended Abstract).

[BibT_eX]

[DOI]

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

2009

Automatic Extraction of Ontologies Wrapping Relational Data Sources.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009

Supporting the Development of Data Wrapping Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, Fourth Asian Conference, 2009

2008

Complexity of Reasoning With Expressive Ontology Mappings.

[BibT_eX]

[DOI]

Luciano Serafini

Proceedings of the Formal Ontology in Information Systems, 2008

Supporting the Design of Ontologies for Data Access.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Bridging Heterogeneous Representations of Binary Relations: First Results.

[BibT_eX]

[DOI]

Luciano Serafini

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Improving Responsiveness of Ontology-Based Query Formulation.

[BibT_eX]

[DOI]

Ivan Zorzi

Paolo Dongilli

Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita' degli Studi di Bari, 2007

Extracting Ontologies from Relational Databases.

[BibT_eX]

[DOI]

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

On Relating Heterogeneous Elements from Different Ontologies.

[BibT_eX]

[DOI]

Luciano Serafini

Proceedings of the Modeling and Using Context, 2007

2006

The logic of RDF and SPARQL: a tutorial.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Reasoning Support for Ontology Design.

[BibT_eX]

[DOI]

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

Leveraging Systemic-Functional Linguistics to Enhance Intelligent Database Querying.

[BibT_eX]

[DOI]

Paolo Dongilli

John A. Bateman

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

The new ICOM Ontology Editor.

[BibT_eX]

[DOI]

Pablo R. Fillottrani

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

A Unified Logical Framework for Rules (and Queries) with Ontologies.

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies.

[BibT_eX]

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Logical Reconstruction of RDF and Ontology Languages.

[BibT_eX]

[DOI]

Jos de Bruijn

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Logical Reconstruction of Normative RDF.

[BibT_eX]

[DOI]

Jos de Bruijn

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Rules and Queries with Ontologies: a Unifying Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004

Rules and Queries with Ontologies: A Unified Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

An Ontology Based Visual Tool for Query Formulation Support.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Semantics Driven Support for Query Formulation.

[BibT_eX]

[DOI]

Paolo Dongilli

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

2003

An Ontology Based Visual Tool for Query Formulation Support.

[BibT_eX]

[DOI]

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

2002

Querying the Semantic Web: A Formal Approach.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2002

Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2002

Evaluating a Modular Abox Algorithm.

[BibT_eX]

Graham Gough

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

2001

Querying expressive DLs.

[BibT_eX]

[DOI]

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

2000

How to Decide Query Containment Under Constraints Using a Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report.

[BibT_eX]

[DOI]

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

A Conjunctive Query Language for Description Logic Aboxes.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

ABox Reasoning with Transitive Roles and Axioms.

[BibT_eX]

[DOI]

Graham Gough

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

A Proposal for a Description Logic Interface.

[BibT_eX]

[DOI]

Sean Bechhofer