1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
# Natural Language Toolkit: Semantic Interpretation
#
# Copyright (C) 2001-2009 NLTK Project
# Author: Ewan Klein <ewan@inf.ed.ac.uk>
# URL: <http://www.nltk.org/>
# For license information, see LICENSE.TXT
"""
This package contains classes for representing semantic structure in
formulas of first-order logic and for evaluating such formulas in
set-theoretic models.
"""
from util import *
from evaluate import *
from logic import *
from drt import *
try:
import sqlite3
except ImportError:
import warnings
warnings.warn("nltk.sem.relextract and nltk.sem.chat80 modules not "
"loaded (please install sqlite3 library")
else:
from relextract import *
from chat80 import *
__all__ = [
# Logic parsers
'LogicParser', 'DrtParser',
# Evaluation classes and methods
'Valuation', 'Assignment', 'Model', 'Undefined', 'is_rel', 'set2rel', 'arity',
# utility methods
'text_parse', 'root_semrep', 'text_interpret', 'text_evaluate',
'parse_valuation_line', 'parse_valuation', 'parse_logic', 'skolemize'
]
|
