Search results

...od to create an ontology of evolutionary processes. I am a co-chair of the Lexicon committee at IAOA, a sub-committee of the Education committee. My various r

...e that the nonlogical lexicon of a theory T2 is a subset of the nonlogical lexicon of the a theory T1. T1 is an extension of T2 if the axioms in T1 entail th ** T1 is definably interpretable in T2 iff for each symbol in the nonlogical lexicon of T1 the relation/function/constant denoted by the symbol is definable by

...happen to know a great python programmer. I am hoping to grasp what terms lexicon and logic have in common and whether this is a possibility. The other Zope * Topic-3: Developing a lexicon based language/vocabulary from a domain specific ontology

the free to text to identify concepts in the free text. The system uses a lexicon of terms

the free to text to identify concepts in the free text. The system uses a lexicon of terms

Tasks are defined as named sets (names held in a lexicon) and the description is mapped onto a network where each node represent a s

...woefully inadequate for formal model analysis. However, they do provide a lexicon and naming convention which could be used to build a ontology.

DouglasRMiles: So the idea is not just deduce a NatLanguage lexicon ,, but a starting point that perhaps ontology can be formed

The ontology and lexicon, including user-generated watch lists and packages: ...that are necessary for analysis of structured and unstructured inputs. The lexicon entries are annotated by additional linguistic information and linked to th

...1 is a nonconservative extension of T2 whenever there is a sentence in the lexicon of T1 which is provable from T2 but not from T1.

[12:41] David Eddy: @MikeB... in my lexicon... "an" implies singular

...iness services will be defined in terms of business value creating acommon lexicon for owners, operators, tenants, and other stakeholders

**** Wiki-space: [[IaoaOntologyTerminology]] (previously: [[Lexicon]] ... ''content to be migrated'')

...to show this. You simply specify a mapping from the lexicon of one to the lexicon of

...ance in this area is a somewhat mixed bag. Some of the projects (e.g., the lexicon and the textbook) have not made as much progress as expected. This may part

synonyms: phraseology, terms, expressions, words, language, lexicon, parlance, vocabulary, wording, nomenclature; More

...se about the need for the applied ontology community to putting together a lexicon for the domain.

semantics for managing an ontology lexicon?

...iversal quantifier, existential quantifier. Everything else is part of the lexicon. So I would say you are dealing with different lexicons in M0, M1, etc, but

have a coherent weltanschaaung or even lexicon. Also, that Model(x) of one system and Model(y) of