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...
Saved in:
Main Authors | , |
---|---|
Format | eBook |
Language | English |
Published |
London
Sage Publications Ltd
2010
|
Edition | 1 |
Subjects | |
Online Access | Get full text |
ISBN | 9781607505341 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& -- 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 |