The phrase "a formal concept" is correct and usable in written English.
It can be used when discussing ideas or theories that are structured and defined within a specific framework, often in academic or professional contexts.
Example: "In our discussion of philosophy, we must first establish a formal concept of ethics to guide our analysis."
Alternatives: "an established notion" or "a defined idea".
We propose a formal concept of "links" to the elemental reference forms.
The second part of the algorithm is based on a formal concept of the normal base form.
This study sought to develop and evaluate an approach for auditing the semantic completeness of the SNOMED CT contents using a formal concept analysis (FCA)–based model.
In doing so, a Formal Concept Analysis (FCA) like construction method is introduced to establish the original interoperation ontology from scratch.
This book was first published in 1584, a full thirteen years before the appearance of Francis Bacon's famous 1597 Essayes, traditionally held to mark the introduction of the essay as a formal concept into English writing.
Humans have been gaining inspiration from nature for many thousands of years, yet as a formal concept "biomimicry" – which explores how we can learn from nature to solve human problems – is more recent.
According to this view and Russell and Frege are far from being alone on the matter there is a coherent formal concept of 'unit' available to us, ranging over modes of reference which are not, in the semantically conventional sense, forms of singular reference at all, but which might well extend to include reference altogether generally and as such.
The competition to rebuild the ravaged Westminster stipulated a Gothic design, but out of 97 entries it was won by the classicist Charles Barry, who produced a clever plan and provided Gothic costume for what is in all essentials an Italianate formal concept.
If our intelligence agencies are determined to use mathematics in rooting out terrorists, they may consider a profiling technique called formal concept analysis, a branch of lattice theory.
Consequently, we have developed a methodology that helps engineers to: (a) identify the type of general ontology to be reused; (b) find out which axioms and definitions should be reused; (c) make a decision, using formal concept analysis, on what general ontology is going to be reused; and (d) adapt and integrate the selected general ontology in the domain ontology to be developed.
Our approach is supported by a cooperation between Formal Concept Analysis, to classify, infer and prune discovered concepts, and Semantic Query Expansion, to leverage the hierarchical structure of ontologies.
