According to our database1, Alessandro Mosca authored at least 31 papers between 2003 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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.
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