Formal ontology in information systems :: proceedings of the 10th International Conference (FOIS 2018) /
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam, Netherlands :
IOS Press,
2018.
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications ;
v. 306. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | International conference proceedings. Includes indexes. |
| Beschreibung: | 1 online resource |
| ISBN: | 9781614999102 1614999104 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-on1056246458 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 181010s2018 ne o 101 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IOSPR |d OCLCO |d N$T |d EBLCP |d OCLCF |d MERUC |d LVT |d YDX |d OCLCQ |d CUS |d NRC |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 1056741973 | ||
| 020 | |a 9781614999102 |q (electronic bk.) | ||
| 020 | |a 1614999104 |q (electronic bk.) | ||
| 020 | |z 9781614999096 |q (print) | ||
| 035 | |a (OCoLC)1056246458 |z (OCoLC)1056741973 | ||
| 050 | 4 | |a TK5105.88815 | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 7 | |a 006.3/32 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a FOIS (Conference) |n (10th : |d 2018 : |c Cape Town, South Africa) |0 http://id.loc.gov/authorities/names/no2019029018 | |
| 245 | 1 | 0 | |a Formal ontology in information systems : |b proceedings of the 10th International Conference (FOIS 2018) / |c edited by Stefano Borgo, Pascal Hitzler, and Oliver Kutz. |
| 246 | 3 | |a FOIS 2018 | |
| 264 | 1 | |a Amsterdam, Netherlands : |b IOS Press, |c 2018. | |
| 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 volume 306 | |
| 500 | |a International conference proceedings. | ||
| 500 | |a Includes indexes. | ||
| 588 | 0 | |a Online resource; title from PDF title page (IOS Press, viewed October 11, 2018). | |
| 505 | 0 | |a Intro; Title Page; Preface; FOIS 2018 Conference Organisation; Contents; Some Open Issues After Twenty Years of Formal Ontology; Keynotes; Ontologies for Artificial Minds; State-Centric Methodology of Ontology Engineering; Representing Representing: The Ontology of Aboutness; Foundations; Particular Types and Particular Dependence; The Treatment of Time in Upper Ontologies; Identity Criteria for Localities; Representing Concepts by Weighted Formulas; Graph-Based Approaches to Structural Universals and Complex States of Affairs. | |
| 505 | 8 | |a Individual Determinacy and Identity Criteria in Ontology-Driven Information SystemsOntological Foundations of Competition; Agents and Properties; The Identity of Dispositions; Organisations and Variable Embodiments; The Mouse and the Ball -- Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency; A Foundational View on Nominal and Actual Qualities in Engineering; Methods and Tools; Amnestic Forgery: An Ontology of Conceptual Metaphors; On Decomposition Operations in a Theory of Multidimensional Qualitative Space; Informative Armstrong RDF Datasets for n-Ary Relations. | |
| 505 | 8 | |a UNiCS -- The Ontology for Research and Innovation Policy MakingApplications; Foundational Ontologies for Units of Measure; On the Ontology of Part-Whole Relations in Zulu Language and Culture; SAREF4health: IoT Standard-Based Ontology-Driven Healthcare Systems; Towards an Ontology of Religious and Spiritual Belief; Subject Index; Author Index. | |
| 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 General. |2 bisacsh | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 650 | 7 | |a Ontologies (Information retrieval) |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Borgo, Stefano, |e editor. |0 http://id.loc.gov/authorities/names/nb2008014918 | |
| 700 | 1 | |a Hitzler, Pascal, |e editor. |0 http://id.loc.gov/authorities/names/nb2006017830 | |
| 700 | 1 | |a Kutz, Oliver, |e editor. |0 http://id.loc.gov/authorities/names/no2011183728 | |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 306. |0 http://id.loc.gov/authorities/names/n92019289 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1910003 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL5543851 | ||
| 938 | |a EBSCOhost |b EBSC |n 1910003 | ||
| 938 | |a YBP Library Services |b YANK |n 15748164 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-on1056246458 |
|---|---|
| _version_ | 1816882474024697856 |
| adam_text | |
| any_adam_object | |
| author2 | Borgo, Stefano Hitzler, Pascal Kutz, Oliver |
| author2_role | edt edt edt |
| author2_variant | s b sb p h ph o k ok |
| author_GND | http://id.loc.gov/authorities/names/nb2008014918 http://id.loc.gov/authorities/names/nb2006017830 http://id.loc.gov/authorities/names/no2011183728 |
| author_corporate | FOIS (Conference) Cape Town, South Africa) |
| author_corporate_role | |
| author_facet | Borgo, Stefano Hitzler, Pascal Kutz, Oliver FOIS (Conference) Cape Town, South Africa) |
| author_sort | FOIS (Conference) Cape Town, South Africa) |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.88815 |
| callnumber-search | TK5105.88815 |
| callnumber-sort | TK 45105.88815 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| collection | ZDB-4-EBA |
| contents | Intro; Title Page; Preface; FOIS 2018 Conference Organisation; Contents; Some Open Issues After Twenty Years of Formal Ontology; Keynotes; Ontologies for Artificial Minds; State-Centric Methodology of Ontology Engineering; Representing Representing: The Ontology of Aboutness; Foundations; Particular Types and Particular Dependence; The Treatment of Time in Upper Ontologies; Identity Criteria for Localities; Representing Concepts by Weighted Formulas; Graph-Based Approaches to Structural Universals and Complex States of Affairs. Individual Determinacy and Identity Criteria in Ontology-Driven Information SystemsOntological Foundations of Competition; Agents and Properties; The Identity of Dispositions; Organisations and Variable Embodiments; The Mouse and the Ball -- Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency; A Foundational View on Nominal and Actual Qualities in Engineering; Methods and Tools; Amnestic Forgery: An Ontology of Conceptual Metaphors; On Decomposition Operations in a Theory of Multidimensional Qualitative Space; Informative Armstrong RDF Datasets for n-Ary Relations. UNiCS -- The Ontology for Research and Innovation Policy MakingApplications; Foundational Ontologies for Units of Measure; On the Ontology of Part-Whole Relations in Zulu Language and Culture; SAREF4health: IoT Standard-Based Ontology-Driven Healthcare Systems; Towards an Ontology of Religious and Spiritual Belief; Subject Index; Author Index. |
| ctrlnum | (OCoLC)1056246458 |
| dewey-full | 006.3/32 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/32 |
| dewey-search | 006.3/32 |
| dewey-sort | 16.3 232 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04163cam a2200601 i 4500</leader><controlfield tag="001">ZDB-4-EBA-on1056246458</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">181010s2018 ne o 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">IOSPR</subfield><subfield code="d">OCLCO</subfield><subfield code="d">N$T</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCF</subfield><subfield code="d">MERUC</subfield><subfield code="d">LVT</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CUS</subfield><subfield code="d">NRC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">1056741973</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614999102</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614999104</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614999096</subfield><subfield code="q">(print)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1056246458</subfield><subfield code="z">(OCoLC)1056741973</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK5105.88815</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3/32</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FOIS (Conference)</subfield><subfield code="n">(10th :</subfield><subfield code="d">2018 :</subfield><subfield code="c">Cape Town, South Africa)</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2019029018</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal ontology in information systems :</subfield><subfield code="b">proceedings of the 10th International Conference (FOIS 2018) /</subfield><subfield code="c">edited by Stefano Borgo, Pascal Hitzler, and Oliver Kutz.</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">FOIS 2018</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam, Netherlands :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2018.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">volume 306</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">International conference proceedings.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes indexes.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (IOS Press, viewed October 11, 2018).</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Intro; Title Page; Preface; FOIS 2018 Conference Organisation; Contents; Some Open Issues After Twenty Years of Formal Ontology; Keynotes; Ontologies for Artificial Minds; State-Centric Methodology of Ontology Engineering; Representing Representing: The Ontology of Aboutness; Foundations; Particular Types and Particular Dependence; The Treatment of Time in Upper Ontologies; Identity Criteria for Localities; Representing Concepts by Weighted Formulas; Graph-Based Approaches to Structural Universals and Complex States of Affairs.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Individual Determinacy and Identity Criteria in Ontology-Driven Information SystemsOntological Foundations of Competition; Agents and Properties; The Identity of Dispositions; Organisations and Variable Embodiments; The Mouse and the Ball -- Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency; A Foundational View on Nominal and Actual Qualities in Engineering; Methods and Tools; Amnestic Forgery: An Ontology of Conceptual Metaphors; On Decomposition Operations in a Theory of Multidimensional Qualitative Space; Informative Armstrong RDF Datasets for n-Ary Relations.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">UNiCS -- The Ontology for Research and Innovation Policy MakingApplications; Foundational Ontologies for Units of Measure; On the Ontology of Part-Whole Relations in Zulu Language and Culture; SAREF4health: IoT Standard-Based Ontology-Driven Healthcare Systems; Towards an Ontology of Religious and Spiritual Belief; Subject Index; Author Index.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Ontologies (Information retrieval)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Ontologies (Recherche de l'information)</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Méthodes formelles (Informatique)</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ontologies (Information retrieval)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Borgo, Stefano,</subfield><subfield code="e">editor.</subfield><subfield code="0">http://id.loc.gov/authorities/names/nb2008014918</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hitzler, Pascal,</subfield><subfield code="e">editor.</subfield><subfield code="0">http://id.loc.gov/authorities/names/nb2006017830</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kutz, Oliver,</subfield><subfield code="e">editor.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2011183728</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 306.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1910003</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL5543851</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1910003</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">15748164</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-on1056246458 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:29:10Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/no2019029018 |
| isbn | 9781614999102 1614999104 |
| language | English |
| oclc_num | 1056246458 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | IOS Press, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; |
| series2 | Frontiers in artificial intelligence and applications ; |
| spelling | FOIS (Conference) (10th : 2018 : Cape Town, South Africa) http://id.loc.gov/authorities/names/no2019029018 Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) / edited by Stefano Borgo, Pascal Hitzler, and Oliver Kutz. FOIS 2018 Amsterdam, Netherlands : IOS Press, 2018. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier Frontiers in artificial intelligence and applications ; volume 306 International conference proceedings. Includes indexes. Online resource; title from PDF title page (IOS Press, viewed October 11, 2018). Intro; Title Page; Preface; FOIS 2018 Conference Organisation; Contents; Some Open Issues After Twenty Years of Formal Ontology; Keynotes; Ontologies for Artificial Minds; State-Centric Methodology of Ontology Engineering; Representing Representing: The Ontology of Aboutness; Foundations; Particular Types and Particular Dependence; The Treatment of Time in Upper Ontologies; Identity Criteria for Localities; Representing Concepts by Weighted Formulas; Graph-Based Approaches to Structural Universals and Complex States of Affairs. Individual Determinacy and Identity Criteria in Ontology-Driven Information SystemsOntological Foundations of Competition; Agents and Properties; The Identity of Dispositions; Organisations and Variable Embodiments; The Mouse and the Ball -- Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency; A Foundational View on Nominal and Actual Qualities in Engineering; Methods and Tools; Amnestic Forgery: An Ontology of Conceptual Metaphors; On Decomposition Operations in a Theory of Multidimensional Qualitative Space; Informative Armstrong RDF Datasets for n-Ary Relations. UNiCS -- The Ontology for Research and Innovation Policy MakingApplications; Foundational Ontologies for Units of Measure; On the Ontology of Part-Whole Relations in Zulu Language and Culture; SAREF4health: IoT Standard-Based Ontology-Driven Healthcare Systems; Towards an Ontology of Religious and Spiritual Belief; Subject Index; Author Index. Ontologies (Information retrieval) Congresses. Formal methods (Computer science) Congresses. Ontologies (Recherche de l'information) Congrès. Méthodes formelles (Informatique) Congrès. COMPUTERS General. bisacsh Formal methods (Computer science) fast Ontologies (Information retrieval) fast Conference papers and proceedings fast Borgo, Stefano, editor. http://id.loc.gov/authorities/names/nb2008014918 Hitzler, Pascal, editor. http://id.loc.gov/authorities/names/nb2006017830 Kutz, Oliver, editor. http://id.loc.gov/authorities/names/no2011183728 Frontiers in artificial intelligence and applications ; v. 306. http://id.loc.gov/authorities/names/n92019289 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1910003 Volltext |
| spellingShingle | Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) / Frontiers in artificial intelligence and applications ; Intro; Title Page; Preface; FOIS 2018 Conference Organisation; Contents; Some Open Issues After Twenty Years of Formal Ontology; Keynotes; Ontologies for Artificial Minds; State-Centric Methodology of Ontology Engineering; Representing Representing: The Ontology of Aboutness; Foundations; Particular Types and Particular Dependence; The Treatment of Time in Upper Ontologies; Identity Criteria for Localities; Representing Concepts by Weighted Formulas; Graph-Based Approaches to Structural Universals and Complex States of Affairs. Individual Determinacy and Identity Criteria in Ontology-Driven Information SystemsOntological Foundations of Competition; Agents and Properties; The Identity of Dispositions; Organisations and Variable Embodiments; The Mouse and the Ball -- Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency; A Foundational View on Nominal and Actual Qualities in Engineering; Methods and Tools; Amnestic Forgery: An Ontology of Conceptual Metaphors; On Decomposition Operations in a Theory of Multidimensional Qualitative Space; Informative Armstrong RDF Datasets for n-Ary Relations. UNiCS -- The Ontology for Research and Innovation Policy MakingApplications; Foundational Ontologies for Units of Measure; On the Ontology of Part-Whole Relations in Zulu Language and Culture; SAREF4health: IoT Standard-Based Ontology-Driven Healthcare Systems; Towards an Ontology of Religious and Spiritual Belief; Subject Index; Author Index. Ontologies (Information retrieval) Congresses. Formal methods (Computer science) Congresses. Ontologies (Recherche de l'information) Congrès. Méthodes formelles (Informatique) Congrès. COMPUTERS General. bisacsh Formal methods (Computer science) fast Ontologies (Information retrieval) fast |
| title | Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) / |
| title_alt | FOIS 2018 |
| title_auth | Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) / |
| title_exact_search | Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) / |
| title_full | Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) / edited by Stefano Borgo, Pascal Hitzler, and Oliver Kutz. |
| title_fullStr | Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) / edited by Stefano Borgo, Pascal Hitzler, and Oliver Kutz. |
| title_full_unstemmed | Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018) / edited by Stefano Borgo, Pascal Hitzler, and Oliver Kutz. |
| title_short | Formal ontology in information systems : |
| title_sort | formal ontology in information systems proceedings of the 10th international conference fois 2018 |
| title_sub | proceedings of the 10th International Conference (FOIS 2018) / |
| topic | Ontologies (Information retrieval) Congresses. Formal methods (Computer science) Congresses. Ontologies (Recherche de l'information) Congrès. Méthodes formelles (Informatique) Congrès. COMPUTERS General. bisacsh Formal methods (Computer science) fast Ontologies (Information retrieval) fast |
| topic_facet | Ontologies (Information retrieval) Congresses. Formal methods (Computer science) Congresses. Ontologies (Recherche de l'information) Congrès. Méthodes formelles (Informatique) Congrès. COMPUTERS General. Formal methods (Computer science) Ontologies (Information retrieval) Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1910003 |
| work_keys_str_mv | AT foisconferencecapetownsouthafrica formalontologyininformationsystemsproceedingsofthe10thinternationalconferencefois2018 AT borgostefano formalontologyininformationsystemsproceedingsofthe10thinternationalconferencefois2018 AT hitzlerpascal formalontologyininformationsystemsproceedingsofthe10thinternationalconferencefois2018 AT kutzoliver formalontologyininformationsystemsproceedingsofthe10thinternationalconferencefois2018 AT foisconferencecapetownsouthafrica fois2018 AT borgostefano fois2018 AT hitzlerpascal fois2018 AT kutzoliver fois2018 |