Ontologies, Domain Requirements, Fi

Ontologies, Domain Requirements, Fitness,
and Dynamics
An ontology is often denoted as a “formal, explicit specification of a
shared conceptualization” (c.f. [4]) and this paper follows this definition.
In particular it is focused on describing and exploiting the properties
of being “formal” and “explicit” regarding the representation of
a conceptualization (specification), and – even more importantly – the
property of being “shared” regarding the conceptualization itself. It is
also emphasized that the completeness of an ontology has a straightforward
impact on becoming a “shared conceptualization”
Being “formal” means that an ontology has to be specified using
a formally defined ontology specification language such that logical
inference is enabled with respect to this artifact. To enable logical
inference, such a language needs to be based on logics – so an ontology is
a logical theory. Ontology is also a descriptive theory as it is developed
with the purpose to describe common sense, abstract high-level notions,
or a Domain of Discourse.

Результаты (русский) 1:

Онтология, требования к домена, Фитнес,и динамикаОнтология часто обозначается как «формального, явные спецификацииОбщие концепции» (c.f. [4]) и этот документ соответствует этому определению.В частности оно сосредоточено на описании и использования свойствабытия «формальных» и «явного» относительно представительствав концепции (спецификация) и – что еще более важно –Свойство «общие» относительно самой концепции. Этотакже подчеркнул, что полнота онтологии имеет простойвлияние на становится «общие концепции»«Формальный» означает, что онтологии должен быть указан с помощьюязык спецификации формально определены онтологии такие что логическиевывод включена в отношении данного артефакта. Чтобы включить логическиеумозаключение, такой язык должен быть основан на логике – так онтологииЛогические теории. Онтология-это также описательная теория как он разработанс целью описания здравый смысл абстрактных понятий, высокого уровня,или домен дискурса.

Результаты (русский) 2:

Онтологии, Требования домена, фитнес,
и динамика
Онтология часто обозначается как "формальный, явного уточнения
общей концепции" (ср [4]), и это бумага следует этому определению.
В частности, он ориентирован на описании и эксплуатации свойства
бытия "формальный" и "явное" о представлении
в концептуализации (спецификации), и - что еще более важно -
свойство быть "общим" о самой концепции. Он
также подчеркнул, что полнота онтологии имеет простой
влияние на становления "поделился концептуализации"
Быть "формальный" означает, что онтология должна быть указана с помощью
формально определенную онтологию языка спецификации, так что логично
вывод включена по отношению к этой артефакт. Чтобы включить логическое
умозаключение, такой язык должен быть основан на логике - так онтология
логическое теория. Онтология также описательной теорией, как она разработана
с целью описания здравый смысл, абстрактные понятия высокого уровня,
или области дискурса.

Результаты (русский) 3:

онтологии, домен требования, фитнес,
и динамика
онтологии часто обозначена как "официальный, четко установление
поделился концепции" (см. [4]), и в настоящем документе именно это определение.
он, в частности, сосредоточено на описании и использования имущества
как "официального" и "непосредственного" что касается представленности
A концептуализации (спецификация),и – и, что еще важнее -
имущества "общие" о концепции.это
также подчеркнул, что полнота онтологии была простой: воздействие на все "общей концепции"
"официального" означает, что онтологии необходимо уточнить, используя
официально определены онтология язык спецификаций, так что логично.вывод включена в отношении этого артефакта.для того, чтобы логическая
, следовательно, такой язык должен быть основан на логике – так онтологии -
логическую теорию.онтология также является описательным теории, она будет разработана
с целью описать здравый смысл, абстрактные понятия высокого уровня,
или домена дискурса.