ijcai56

ijcai 2015 论文列表

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), Buenos Aires, Argentina, July 25-27, 2015.

Towards an Ontological Analysis of Powertypes.
Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics.
Generative Ontology of Vaisesika.
Military Ontologies for Information Dissemination at the Tactical Edge.
Ontology-Based Introspection in Support of Stream Reasoning.
Two Perspectives on Change and Institutions.
Two Demarcation Problems In Ontology.
Integrating Graphical Support with Reasoning in a Methodology for Ontology Evolution.
Ontology Population using Corpus Statistics.
OntoBacen: A Modular Ontology for Risk Management in the Brazilian Financial System.
A Novel Approach for Extracting Well-Founded Ontology Views.
Towards Ontology Composition from Cognitive Libraries.
Iterative Ontology Updates Using Context Labels.
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies.
Using Kernel Consolidation for Query Answering in Inconsistent OBDA.
Prioritized Base Debugging in Description Logics.
Merging Incommensurable Possibilistic DL-Lite Assertional Bases.
Paraconsistent Relational Model: A Quasi-Classic Logic Approach.
On the Influence of Incoherence in Inconsistency-tolerant Semantics for Datalog±.
Combining Rules and Ontologies via Parametrized Logic Programs.
Reasoning with Forest Logic Programs Using Fully Enriched Automata.
Extending NoHR for OWL 2 QL.
Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++.
Imperfect Querying through Womb Grammars plus Ontologies.
∃-ASP.
Logic Programming Techniques for Reasoning with Probabilistic Ontologies.
From Classical to Consistent Query Answering under Existential Rules.
Extending Answer Set Programming using Generalized Possibilistic Logic.