<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="gritz-2018-towards">
    <titleInfo>
        <title>Towards Lexical Meaning Formal Representation by virtue of the NL-DL Definition Transformation Method</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Maria</namePart>
        <namePart type="family">Gritz</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2018-05</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the Third International Conference on Computational Linguistics in Bulgaria (CLIB 2018)</title>
        </titleInfo>
        <originInfo>
            <publisher>Department of Computational Linguistics, Institute for Bulgarian Language, Bulgarian Academy of Sciences</publisher>
            <place>
                <placeTerm type="text">Sofia, Bulgaria</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <abstract>The paper represents a part of an extensive study devoted to the issues of lexical meaning formal representation in OWL 2 DL notation. Both theoretical and methodological aspects of lexical meaning formalization within the framework of an ontology are observed in the paper. Model-theoretic semantics paradigm and Kripke model are considered to form a theoretical background for formalization of lexical meaning, whereas the NL-DL definition transformation method is investigated as a method designed to provide us with acceptable formal definitions in OWL 2 DL notation with natural language definitions given at the input. A brief critical study of the method has allowed to reveal particular problematic cases of the method application, which arise due to syntactic peculiarities of natural language definitions given at the input.</abstract>
    <identifier type="citekey">gritz-2018-towards</identifier>
    <location>
        <url>https://aclanthology.org/2018.clib-1.5</url>
    </location>
    <part>
        <date>2018-05</date>
        <extent unit="page">
            <start>23</start>
            <end>33</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Towards Lexical Meaning Formal Representation by virtue of the NL-DL Definition Transformation Method
%A Gritz, Maria
%S Proceedings of the Third International Conference on Computational Linguistics in Bulgaria (CLIB 2018)
%D 2018
%8 May
%I Department of Computational Linguistics, Institute for Bulgarian Language, Bulgarian Academy of Sciences
%C Sofia, Bulgaria
%F gritz-2018-towards
%X The paper represents a part of an extensive study devoted to the issues of lexical meaning formal representation in OWL 2 DL notation. Both theoretical and methodological aspects of lexical meaning formalization within the framework of an ontology are observed in the paper. Model-theoretic semantics paradigm and Kripke model are considered to form a theoretical background for formalization of lexical meaning, whereas the NL-DL definition transformation method is investigated as a method designed to provide us with acceptable formal definitions in OWL 2 DL notation with natural language definitions given at the input. A brief critical study of the method has allowed to reveal particular problematic cases of the method application, which arise due to syntactic peculiarities of natural language definitions given at the input.
%U https://aclanthology.org/2018.clib-1.5
%P 23-33

Markdown (Informal)

[Towards Lexical Meaning Formal Representation by virtue of the NL-DL Definition Transformation Method](https://aclanthology.org/2018.clib-1.5) (Gritz, CLIB 2018)

• Towards Lexical Meaning Formal Representation by virtue of the NL-DL Definition Transformation Method (Gritz, CLIB 2018)

ACL

• Maria Gritz. 2018. Towards Lexical Meaning Formal Representation by virtue of the NL-DL Definition Transformation Method. In Proceedings of the Third International Conference on Computational Linguistics in Bulgaria (CLIB 2018), pages 23–33, Sofia, Bulgaria. Department of Computational Linguistics, Institute for Bulgarian Language, Bulgarian Academy of Sciences.