Viewing composition tables as axiomatic systems
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Towards scott domains-based topological ontology models
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
A note on proximity spaces and connection based mereology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Mereotopological reasoning about parts and (w)holes in bio-ontologies
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Qualitative Geometry for Shape Recognition
Applied Intelligence
Spatial Cognition and Computation
Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis
IEEE Transactions on Knowledge and Data Engineering
Applying soft computing in defining spatial relations
Qualitative Theory of Shape and Structure
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
The Formal Structure of Ecological Contexts
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Towards an Ontology of Part-of
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Atomicity vs. Infinite Divisibility of Space
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
A Predication Calculus for Qualitative Spatial Representations
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Towards Ontological Foundations for UML Conceptual Models
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Metamodel for Part - Whole Relationships for Reasoning on Missing Parts and Reconstruction
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
Representing composites in conceptual modeling
Communications of the ACM - Has the Internet become indispensable?
A note on the axiomatics of theories in parthood
Data & Knowledge Engineering
A mathematical analysis of theories of parthood
Data & Knowledge Engineering
Generalized region connection calculus
Artificial Intelligence
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Using semantic dependencies for consistency management of an ontology of brain-cortex anatomy
Artificial Intelligence in Medicine
Axiomatic Theory Of Design Modeling
Journal of Integrated Design & Process Science
Ownership as a conceptual modeling construct
Data & Knowledge Engineering
A framework in prolog for computing structural relationships
Data & Knowledge Engineering
Mephisto I towards a formal theory
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology
Fundamenta Informaticae
Towards an Abstraction Ontology
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
A spatio-temporal ontology for geographic information integration
International Journal of Geographical Information Science
Other-anaphora resolution in biomedical texts with automatically mined patterns
COLING '08 Proceedings of the 22nd International Conference on Computational Linguistics - Volume 1
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Generalized Region Connection Calculus
Artificial Intelligence
Part-whole representation and reasoning in formal biomedical ontologies
Artificial Intelligence in Medicine
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
On the Representation of Quantities and their Parts in Conceptual Modeling
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Supply chain ontology: Review, analysis and synthesis
Computers in Industry
Reasoning mechanism for cardinal direction relations
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Representing collectives and their members in UML conceptual models: an ontological analysis
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
Ontological foundations for conceptual part-whole relations: the case of collectives and their parts
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
strukt: a pattern system for integrating individual and organizational knowledge work
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Semantic granularity for the semantic web
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
A mereotopological product relationship description approach for assembly oriented design
Robotics and Computer-Integrated Manufacturing
Applied Ontology
Applied Ontology
Dialectics of counting and the mathematics of vagueness
Transactions on Rough Sets XV
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology
Fundamenta Informaticae
Axiomatic granular approach to knowledge correspondences
RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Virtual Community of Practice Ontocop: Towards a New Model of Information Science Ontology ISO
International Journal of Information Retrieval Research
Directional relations and frames of reference
Geoinformatica
A hybrid reasoning model for "whole and part" cardinal direction relations
Advances in Artificial Intelligence
Hi-index | 0.00 |