Search results

Term entries in the full glossary matching "infer"

W3C Glossaries

Showing results 1 - 2 of 2


From RDF Semantics (2004-02-10) | Glossary for this source

(n.) An act or process of constructing new expressions from existing expressions, or the result of such an act or process. Inferences corresponding to entailments are described as correct or valid . , formal description of a type of inference; , organized system of inference rules; also, software which generates inferences or checks inferences for validity.
inferred mrow

From Mathematical Markup Language (MathML) Version 2.0 (2001-02-21) | Glossary for this source

An mrow element that is `inferred' around the contents of certain layout schemata when they have other than exactly one argument. Defined precisely in Section 3.1.6 [Summary of Presentation Elements]

The Glossary System has been built by Pierre Candela during an internship in W3C; it's now maintained by Dominique Hazael-Massieux

Copyright © 2000-2003W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply. Your interactions with this site are in accordance with our public and Member privacy statements.