loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ali Hashemi and Michael Gruninger

Affiliation: University of Toronto, Canada

Keyword(s): Ontologies, Ontology design, Knowledge representation, Knowledge engineering.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Data Engineering ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Knowledge Acquisition ; Knowledge Engineering and Ontology Development ; Knowledge Representation ; Knowledge-Based Systems ; Ontologies and the Semantic Web ; Ontology Engineering ; Ontology Sharing and Reuse ; Symbolic Systems

Abstract: Many real world problems require a language at least as expressive as first order logic, yet there exist many barriers to the generation of first-order ontologies. One of the biggest hurdles is the specification of axioms that capture the intended semantics of a user’s concepts. This paper presents an ontology design algorithm enabled by modular ontology repositories that consist of theories organized into disjoint hierarchies, each of which is a set of nonconservative extensions. The ontology design algorithm provides axiomatizations of relations by eliciting intended models from the users, identifying the strongest theories in the repository that are satisfied by the intended models, and incorporating user feedback to verify the proposed set of axioms. This approach emphasizes the communication of semantics rather than syntax via concrete examples, allowing users to express intuitions about their domains without extensive background in the intricacies of formal languages.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.207.161.212

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Hashemi, A. and Gruninger, M. (2009). ONTOLOGY DESIGN THROUGH MODULAR REPOSITORIES. In Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2009) - KEOD; ISBN 978-989-674-012-2; ISSN 2184-3228, SciTePress, pages 192-199. DOI: 10.5220/0002299201920199

@conference{keod09,
author={Ali Hashemi. and Michael Gruninger.},
title={ONTOLOGY DESIGN THROUGH MODULAR REPOSITORIES},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2009) - KEOD},
year={2009},
pages={192-199},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002299201920199},
isbn={978-989-674-012-2},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2009) - KEOD
TI - ONTOLOGY DESIGN THROUGH MODULAR REPOSITORIES
SN - 978-989-674-012-2
IS - 2184-3228
AU - Hashemi, A.
AU - Gruninger, M.
PY - 2009
SP - 192
EP - 199
DO - 10.5220/0002299201920199
PB - SciTePress