Alessandro Mosca

According to our database1, Alessandro Mosca authored at least 31 papers between 2003 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





OCLFO: first-order expressive OCL constraints for efficient integrity checking.
Software and Systems Modeling, 2019

UNiCS: The Open Data Platform for Research and Innovation.
Proceedings of the Posters and Demos Track of the 14th International Conference on Semantic Systems co-located with the 14th International Conference on Semantic Systems (SEMANTiCS 2018), 2018

UNiCS - The Ontology for Research and Innovation Policy Making.
Proceedings of the Formal Ontology in Information Systems, 2018

Mapping knowledge with ontologies: the case of obesity.
CoRR, 2017

The OBDA-Based "Observatory of Research and Innovation" of the Tuscany Region.
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire.
Eng. Appl. Artif. Intell., 2016

A 'historical case' of Ontology-Based Data Access.
Proceedings of the 2015 Digital Heritage, Granada, Spain, September 28 - October 2, 2015, 2015

Knowledge Representation in EPNet.
Proceedings of the New Trends in Databases and Information Systems, 2015

Logic Foundations of the OCL Modelling Language.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Logic-based Reasoning Support for SBVR.
Fundam. Inform., 2013

Semi-structured data extraction and modelling: the WIA Project.
Proceedings of the Proceedings Wivace 2013, 2013

The Logic of Extensional RDFS.
Proceedings of the Semantic Web - ISWC 2013, 2013

The Logic of Extensional RDFS (Extended Abstract).
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Towards a Core ORM2 Language (Research Note).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Workshops, 2013

Non-monotonic Reasoning in Conceptual Modeling and Ontology Design: A Proposal.
Proceedings of the Advanced Information Systems Engineering Workshops, 2013

ORM2: Formalisation and Encoding in OWL2.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

ORM2 Encoding into Description Logic (Extended Abstract).
Proceedings of the 2012 International Workshop on Description Logics, 2012

An upper-level functional design ontology to support knowledge management in SME-based E-Manufacturing of mechanical products.
Knowledge Eng. Review, 2009

Integrating a Wiki in an Ontology Driven Web Site: Approach, Architecture and Application in the Archaeological Domain.
Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

Model-Based Chemical Compound Formulation.
Proceedings of the Model-Based Reasoning in Science, Technology, and Medicine, 2007

Towards the design of intelligent CAD systems: An ontological approach.
Adv. Eng. Informatics, 2007

Common-Sense Spatial Reasoning for Information Correlation in Pervasive Computing.
Applied Artificial Intelligence, 2007

NavEditOW - A System for Navigating, Editing and Querying Ontologies Through the Web.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

Action Based ABox Update: an Example from the Chemical Compound Formulation.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

A System Supporting Users of Cultural Resource Management Semantic Portals.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

Intelligent Alarm Correlation and Abductive Reasoning.
Logic Journal of the IGPL, 2006

Commonsense Spatial Reasoning for Context-Aware Pervasive Systems.
Proceedings of the Location- and Context-Awareness, First International Workshop, 2005

ST-Modal Logic to Correlate Traffic Alarms on Italian Highways: Project Overview and Example Installations.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005

A Hybrid Logic for Commonsense Spatial Reasoning.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

A Conceptual Framework for Monitoring and Control System Development.
Proceedings of the Ubiquitous Mobile Information and Collaboration Systems, 2004

Intelligent alarm correlation.
Proceedings of the IEEE International Conference on Systems, 2003