Formal Ontology in Information Systems Proceedings of the Sixth International Conference (FOIS 2010)

Ontology began life in ancient times as a fundamental part of philosophical enquiry concerned with the analysis and categorisation of what exists. In recent years, the subject has taken a practical turn with the advent of complex computerised information systems which are reliant on robust and coher...

Full description

Saved in:
Bibliographic Details
Main Authors Galton, A, Mizoguchi, R
Format eBook
LanguageEnglish
Published London Sage Publications Ltd 2010
Edition1
Subjects
Online AccessGet full text
ISBN9781607505341
1607505347

Cover

Abstract Ontology began life in ancient times as a fundamental part of philosophical enquiry concerned with the analysis and categorisation of what exists. In recent years, the subject has taken a practical turn with the advent of complex computerised information systems which are reliant on robust and coherent representations of their subject matter. The systematisation and elaboration of such representations and their associated reasoning techniques constitute the modern discipline of formal ontology, which is now being applied to such diverse domains as artificial intelligence, computational linguistics, bioinformatics, GIS, knowledge engineering, information retrieval and the Semantic Web. Researchers in all these areas are becoming increasingly aware of the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, to provide a solid foundation for their work. The conference series Formal Ontology in Information Systems (FOIS) provides a meeting point for researchers from these and other disciplines with an interest in formal ontology, where both theoretical issues and concrete applications can be explored in a spirit of genuine interdisciplinarity. This volume contains the proceedings of the sixth FOIS conference, held in Toronto, Canada, during 11-14 May 2010, including invited talks by Francis Jeffry Pelletier, John Bateman, and Alan Rector and the 28 peer-reviewed submissions selected for presentation at the conference, ranging from foundational issues to more application-oriented topics.
AbstractList Ontology began life in ancient times as a fundamental part of philosophical enquiry concerned with the analysis and categorisation of what exists. In recent years, the subject has taken a practical turn with the advent of complex computerised information systems which are reliant on robust and coherent representations of their subject matter. The systematisation and elaboration of such representations and their associated reasoning techniques constitute the modern discipline of formal ontology, which is now being applied to such diverse domains as artificial intelligence, computational linguistics, bioinformatics, GIS, knowledge engineering, information retrieval and the Semantic Web. Researchers in all these areas are becoming increasingly aware of the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, to provide a solid foundation for their work. The conference series Formal Ontology in Information Systems (FOIS) provides a meeting point for researchers from these and other disciplines with an interest in formal ontology, where both theoretical issues and concrete applications can be explored in a spirit of genuine interdisciplinarity. This volume contains the proceedings of the sixth FOIS conference, held in Toronto, Canada, during 11-14 May 2010, including invited talks by Francis Jeffry Pelletier, John Bateman, and Alan Rector and the 28 peer-reviewed submissions selected for presentation at the conference, ranging from foundational issues to more application-oriented topics.
Author Galton, A
Mizoguchi, R
Author_xml – sequence: 1
  fullname: Galton, A
– sequence: 2
  fullname: Mizoguchi, R
BookMark eNo1jstOwzAURI14iLbkH7JiF8mOfe14CVELlSp1QdVt5cc1KqQ2xGbRvycgmM1ozuJo5uQqpogXZM4kVUCBA1ySSqvufwt2Q2ZSqJZJLdQtqXJ-o1MEl1LzGblfpfFkhnobSxrS67k-xnodww8sxxTrl3MueMp35DqYIWP11wuyXy13_XOz2T6t-4dNY0TbcWg4TtbgrQ8aLKdWMwcawAsNwlAPVhspOKJtdcc6tIDeBe68t0Z56wxfTI9-xR9j-vzCXA5oU3p3GMtohsPysQdQFIB_AxXuRQE
ContentType eBook
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Philosophy
Computer Science
EISBN 1607505355
9781607505358
Edition 1
ExternalDocumentID EBC557055
GroupedDBID -2F
-VX
089
92K
A4J
AABBV
ABARN
ABIAV
ABQPQ
ACLGV
ADVEM
AEQUH
AERYV
AFOJC
AHWGJ
AIXPE
AJFER
AKHYG
ALMA_UNASSIGNED_HOLDINGS
AMYDA
AQKJL
AZZ
BBABE
CZZ
DUGUG
EBSCA
ECOWB
FIECY
GEOUK
HF4
JJU
MYL
OV6
PQQKQ
XI1
ID FETCH-LOGICAL-a42835-3e693fdbdf95b30b91c5955d4954a0d5b9a643eeb29818eb5edcf3cddba7dbca3
ISBN 9781607505341
1607505347
IngestDate Wed Sep 03 01:51:33 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident BD311 .F67 2010
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a42835-3e693fdbdf95b30b91c5955d4954a0d5b9a643eeb29818eb5edcf3cddba7dbca3
OCLC 647216947
PQID EBC557055
PageCount 444
ParticipantIDs proquest_ebookcentral_EBC557055
PublicationCentury 2000
PublicationDate 2010
PublicationDateYYYYMMDD 2010-01-01
PublicationDate_xml – year: 2010
  text: 2010
PublicationDecade 2010
PublicationPlace London
PublicationPlace_xml – name: London
PublicationYear 2010
Publisher Sage Publications Ltd
Publisher_xml – name: Sage Publications Ltd
SSID ssj0000436693
Score 1.8337725
Snippet Ontology began life in ancient times as a fundamental part of philosophical enquiry concerned with the analysis and categorisation of what exists. In recent...
SourceID proquest
SourceType Publisher
SubjectTerms Ontology-Congresses
Subtitle Proceedings of the Sixth International Conference (FOIS 2010)
TableOfContents Title page -- Preface -- Conference Organization -- Contents -- Invited Talks -- Ontological Lessons from the Semantics of Mass and Count Nouns -- Ontological Diversity: The Case from Space -- Knowledge Driven Software and "Fractal Tailoring": Ontologies in Development Environments for Clinical Systems -- Fundamentals -- Foundations for an Ontology of Environment and Habitat -- Towards Ontological Correctness of Part-Whole Relations with Dependent Types -- Goals in a Formal Theory of Commonsense Psychology -- Revisiting the Ontological Square -- Quality and Quantity -- Founding Properties on Measurement -- On the Representation of Quantities and Their Parts in Conceptual Modeling -- Affordances as Qualities -- Constructing Bodies and Their Qualities from Observations -- Applications I -- On Building an Index Advisor for Semantic Web Queries -- A Categorization of KR&amp -- R Methods for Requirement Analysis of a Query Answering Knowledge Base -- The Use of Ontology in Dental Restorative Treatment Decision Support System -- Ontology Building -- A Core Ontology of Instruments Used for Neurological, Behavioral and Cognitive Assessments -- A Process-Centric Ontological Approach for Integrating Geo-Sensor Data -- A Well-Founded Software Measurement Ontology -- SCOPE: A Situation Calculus Ontology of Petri Nets -- Biomedical and Chemical Ontologies I -- Foundational Process Relations in Bio-Ontologies -- What are Chemical Structures and Their Relations? -- Ontological Dependence, Dispositions and Institutional Reality in Chemistry -- Products and Functions -- Towards an Ontology of Products -- Characterizing Functions Based on Ontological Models from an Engineering Point of View -- Verification and Evaluation -- Ontology Verification with Repositories -- Evaluating Ontologies with NLP-Based Terminologies. A Case Study on ACGT and Its Master Ontology
Applications II -- Towards a Formal Ontology for History of Church Administration -- Using the cDnS Ontology as Upper-Level for a Scholarly Debate Ontology -- Ontologies for Distributed Command and Control Messaging -- Biomedical and Chemical Ontologies II -- Realism for Scientific Ontologies -- Dispositions and the Infectious Disease Ontology -- Segmenting and Merging Domain-Specific Ontology Modules for Clinical Informatics -- Subject Index -- Author Index
Title Formal Ontology in Information Systems
URI https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=557055
Volume 209
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELZou3TiLd5kQGxGaRzH9kpVVCEVGArqVvkV1IFUQmGgv55z4jjlISFYrMSKnOQuuofz3XcIXSQpt4wLivMBMzgF-4e5TTMMnpkbYo2mxiWKk7ts_JjezuisBbtX1SWlutKrH-tK_qNVmAO9uirZP2g2LAoTcAz6hRE0DOOX4DechoaaLyDb-6KsKZQWbmsv1CF-oiF32BoZWkcH-S5Wy2fXB6XFDPrUv0KQraf-66ieGjbXIoHq_NCxx0GIQ2puqcbgJbForX_A5I2uh46Oi9IO6jAGeWwPHONoEjasHFd9JlxfjLAq85xZ4S7fHFrlpadbqGdd6cY22rDFDtpsGlZE3n7toP5D07jhfRdd1kKMGiFGiyJaE2LkhbiHnm5G0-EY-64RWFbkcZhYeMzcKJMLqkisxEBTQamBVDCVsaFKSAjDrFWJgGjFKgpfZE60MUoyo7Qk-6hbLAt7gKJEghFWsWSSCzBuksdGWzrQlhOd5FlyiM6b951XP7c9onYehHn06xXHqN_q9gR1y9c3ewqBTqnOvAo-AL0r_7M
linkProvider ProQuest Ebooks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Formal+Ontology+in+Information+Systems&rft.au=Galton%2C+A&rft.au=Mizoguchi%2C+R&rft.date=2010-01-01&rft.pub=Sage+Publications+Ltd&rft.isbn=9781607505341&rft.volume=209&rft.externalDocID=EBC557055
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781607505341/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781607505341/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781607505341/sc.gif&client=summon&freeimage=true