posted by user: DUPONT || 2536 views || tracked by 3 users: [display]

ONTOLP-IJCAI-workshop 2015 : IJCAI-workshop: Ontologies and Logic Programming for Query Answering

FacebookTwitterLinkedInGoogle

Link: http://ontolp.lsis.org
 
When Jul 25, 2015 - Jul 27, 2015
Where Buenos Aires
Submission Deadline May 10, 2015
Notification Due May 30, 2015
Final Version Due Jun 10, 2015
Categories    artificial intelligence
 

Call For Papers


Home

Ontologies and Logic Programming for Query Answering
http://ontolp.lsis.org
This international workshop is one of the joint ontology workshops JOWO 2015 affiliated with the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015, http://ijcai-15.org) and will take place in Buenos Aires, Argentina, July 25-27, 2015.

Workshop description
The aim of this workshop is to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning with lightweight ontologies.

Query answering while taking ontologies into account.
Non monotonic reasoning for inconsistency handling and exception handling and expressing default negations in ontologies.

Concerning the first point, a challenging issue is how to adapt or extend Answer Set Programming to represent ontological knowledge. In particular, can (a fragment of) ASP cover lightweight ontological languages while keeping decidability and efficiency?
Concerning the second point, a challenging issue is how to extend lightweight ontological languages with non-monotonic features, while keeping a good computational complexity. In particular,

how to embed exceptions-based and inconsistency tolerant-based reasoning in a tractable ontological language?
how to integrate uncertainty information in lightweight ontological languages?
how to define merging operations where both inputs and outputs are in lightweight ontological languages?

Contact: Odile Papini, odile.papini@univ-amu.fr

This workshop receives support from ANR (French National Research Agency), ASPIQ project reference ANR-12-BS02-0003. (http://www.agence-nationale-recherche.fr/)

Related link: JOWO 2015 http://www.iaoa.org/jowo/

Related Resources

FL@FM-IJCAI 2024   International Workshop on Federated Learning in the Age of Foundation Models In Conjunction with IJCAI 2024
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
STRL 2024   The 3rd International Workshop on Spatio-Temporal Reasoning and Learning
ECAI 2024   27th European Conference on Artificial Intelligence
LPNMR 2024   17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
JCICE 2024   2024 International Joint Conference on Information and Communication Engineering(JCICE 2024)
ICLP 2024   International Conference on Logic Programming
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming
SAT 2024   The 27th International Conference on Theory and Applications of Satisfiability Testing