|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
EBSCO_ocn812179143 |
| 003 |
OCoLC |
| 005 |
20231017213018.0 |
| 006 |
m o d |
| 007 |
cr cn||||||||| |
| 008 |
121008s2012 ne o 101 0 eng d |
| 040 |
|
|
|a IOSPR
|b eng
|e pn
|c IOSPR
|d N$T
|d EBLCP
|d OCLCQ
|d IDEBK
|d ZWZ
|d OCLCO
|d OCLCF
|d OCLCO
|d OCLCQ
|d YDXCP
|d DEBSZ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCL
|d OCLCO
|d OCLCQ
|d AGLDB
|d OCLCA
|d OCLCQ
|d MERUC
|d ZCU
|d OCLCQ
|d VTS
|d ICG
|d VT2
|d OCLCQ
|d WYU
|d JBG
|d STF
|d DKC
|d OCLCQ
|d M8D
|d OCLCQ
|d AJS
|d HS0
|d OCLCQ
|d OCLCO
|d OCLCQ
|
| 016 |
7 |
|
|a 016222531
|2 Uk
|
| 019 |
|
|
|a 835993313
|a 1055381400
|a 1066601672
|a 1081266559
|a 1228531476
|
| 020 |
|
|
|a 9781614990840
|q (electronic bk.)
|
| 020 |
|
|
|a 1614990840
|q (electronic bk.)
|
| 020 |
|
|
|a 9781614990833
|
| 020 |
|
|
|a 1614990832
|
| 029 |
1 |
|
|a AU@
|b 000050608639
|
| 029 |
1 |
|
|a DEBBG
|b BV043080601
|
| 029 |
1 |
|
|a DEBBG
|b BV044168617
|
| 029 |
1 |
|
|a DEBSZ
|b 421332247
|
| 029 |
1 |
|
|a DEBSZ
|b 431240167
|
| 029 |
1 |
|
|a ZWZ
|b 166649295
|
| 029 |
1 |
|
|a DKDLA
|b 820120-katalog:999937621705765
|
| 029 |
1 |
|
|a AU@
|b 000073086104
|
| 035 |
|
|
|a (OCoLC)812179143
|z (OCoLC)835993313
|z (OCoLC)1055381400
|z (OCoLC)1066601672
|z (OCoLC)1081266559
|z (OCoLC)1228531476
|
| 037 |
|
|
|a 9781614990840
|b IOS Press
|n http://www.iospress.nl
|
| 050 |
|
4 |
|a TK5105.88815
|b .F65 2012
|
| 072 |
|
7 |
|a COM
|x 004000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 025000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 006.3/32
|2 23
|
| 049 |
|
|
|a UAMI
|
| 111 |
2 |
|
|a FOIS (Conference)
|n (7th :
|d 2012 :
|c Graz, Austria)
|
| 245 |
1 |
0 |
|a Formal ontology in information systems :
|b Proceedings of the seventh International Conference (FOIS 2012) /
|c edited by Maureen Donnelly and Giancarlo Guizzardi.
|
| 246 |
3 |
|
|a FOIS 2012
|
| 260 |
|
|
|a Amsterdam ;
|a Washington, D.C. :
|b IOS Press,
|c ©2012.
|
| 300 |
|
|
|a 1 online resource
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Frontiers in artificial intelligence and applications ;
|v v. 239
|
| 500 |
|
|
|a International conference proceedings.
|
| 500 |
|
|
|a Includes indexes.
|
| 505 |
0 |
|
|a Title Page; Preface; Contents; Part 1. Ontologies and Bioinformatics; Probability Assignments to Dispositions in Ontologies; Maturation of Neuroscience Information Framework: An Ontology Driven Information System for Neuroscience; Suggestions for Galaxy Workflow Design Using Semantically Annotated Services; Part 2. Ontologies of Physical Entities; The Void in Hydro Ontology; The Mysterious Appearance of Objects; Towards Making Explicit the Ontological Commitment of a Database Schema on the Geological Domain; Part 3. Ontological Aspects of Artifacts and Human Resources
|
| 505 |
8 |
|
|a An Ontology for Skill and Competency ManagementTowards a Unified Definition of Function; Preliminaries to a Formal Ontology of Failure of Engineering Artifacts; Part 4. Methodological Aspects in Ontology Engineering; A Method for Re-Engineering a Thesaurus into an Ontology; Ontology Content At a Glance -- Interactive Semantic Feedback for Intuitive Ontology Authoring; Part 5. Ontology Evaluation; Does Your Ontology Make a (Sense) Difference?; A Method for Evaluating Ontologies -- Introducing the BFO-Rigidity Decision Tree Wizard
|
| 505 |
8 |
|
|a Integrating OntoClean's Notion of Unity and Identity with a Theory of Classes and Types -- Towards a Method for Evaluating OntologiesPart 6. Ontology, Language and Social Relations; Axiomatizing Change-of-State Words; Elements for a Linguistic Ontology in the Verbal Domain; Toward a Commonsense Theory of Microsociology: Interpersonal Relationships; Part 7. Ontological Aspects of Time and Events; The Date-Time Vocabulary; States, Processes and Events, and the Ontology of Causal Relations; Ontology of Time in GFO; Part 8. Aspects of Ontology Representation
|
| 505 |
8 |
|
|a Using Partial Automorphisms to Design Process OntologiesA Temporal Extension of the Hayes/ter Horst Entailment Rules and an Alternative to W3C's N-ary Relations; Three Semantics for the Core of the Distributed Ontology Language; Subject Index; Author Index
|
| 590 |
|
|
|a eBooks on EBSCOhost
|b EBSCO eBook Subscription Academic Collection - Worldwide
|
| 650 |
|
0 |
|a Ontologies (Information retrieval)
|v Congresses.
|
| 650 |
|
0 |
|a Formal methods (Computer science)
|v Congresses.
|
| 650 |
|
6 |
|a Ontologies (Recherche de l'information)
|v Congrès.
|
| 650 |
|
6 |
|a Méthodes formelles (Informatique)
|v Congrès.
|
| 650 |
|
7 |
|a COMPUTERS
|x Expert Systems.
|2 bisacsh
|
| 650 |
|
7 |
|a Formal methods (Computer science)
|2 fast
|0 (OCoLC)fst00932926
|
| 650 |
|
7 |
|a Ontologies (Information retrieval)
|2 fast
|0 (OCoLC)fst01739863
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 (OCoLC)fst01423772
|
| 700 |
1 |
|
|a Donnelly, Maureen.
|
| 700 |
1 |
|
|a Guizzardi, Giancarlo.
|
| 710 |
2 |
|
|a IOS Press.
|
| 776 |
0 |
8 |
|i Print version:
|a FOIS (Conference) (7th : 2012 : Graz, Austria).
|t Formal ontology in information systems.
|d Amsterdam ; Washington, D.C. : IOS Press, ©2012
|w (DLC) 2012941397
|
| 830 |
|
0 |
|a Frontiers in artificial intelligence and applications ;
|v v. 239.
|
| 856 |
4 |
0 |
|u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=489950
|z Texto completo
|
| 938 |
|
|
|a EBL - Ebook Library
|b EBLB
|n EBL1035222
|
| 938 |
|
|
|a EBSCOhost
|b EBSC
|n 489950
|
| 938 |
|
|
|a ProQuest MyiLibrary Digital eBook Collection
|b IDEB
|n cis25073265
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 9781949
|
| 994 |
|
|
|a 92
|b IZTAP
|
