Contributions to the formal ontology of functions and dispositions: An application of non-monotonic reasoning

Robert Hoehndorf; Janet Kelso; Heinrich Herre

Contributions to the formal ontology of functions and dispositions: An application of non-monotonic reasoning

Robert Hoehndorf, Janet Kelso, Heinrich Herre

Cyfrifiadureg

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)

Crynodeb

We introduce a basic ontology of functions and dispositions. The theory we suggest is compatible both with major philosophical theories of biological functions and with most top-level ontologies. The particular focus of the suggested formalism is on the inference of causal relationships from functionality and the explicit formalization of the normative character of functions using non-monotonic forms of knowledge representation.

Iaith wreiddiol	Saesneg
Teitl	Proceedings of the 12th Annual Bio-Ontologies Meeting
Statws	Cyhoeddwyd - 01 Meh 2009

Mynediad at Ddogfen

http://leechuck.de/pub/fp-sig.pdf

Cysylltiad parhaol

Dolen barhaus

Ffeiliau eraill a chysylltiadau

http://hdl.handle.net/2160/11097

Dyfynnu hyn

@inproceedings{7065fceefbfe4d1ab87522b714c199ea,

title = "Contributions to the formal ontology of functions and dispositions: An application of non-monotonic reasoning",

abstract = "We introduce a basic ontology of functions and dispositions. The theory we suggest is compatible both with major philosophical theories of biological functions and with most top-level ontologies. The particular focus of the suggested formalism is on the inference of causal relationships from functionality and the explicit formalization of the normative character of functions using non-monotonic forms of knowledge representation.",

author = "Robert Hoehndorf and Janet Kelso and Heinrich Herre",

year = "2009",

month = jun,

day = "1",

language = "English",

booktitle = "Proceedings of the 12th Annual Bio-Ontologies Meeting",

}

TY - GEN

T1 - Contributions to the formal ontology of functions and dispositions

T2 - An application of non-monotonic reasoning

AU - Hoehndorf, Robert

AU - Kelso, Janet

AU - Herre, Heinrich

PY - 2009/6/1

Y1 - 2009/6/1

N2 - We introduce a basic ontology of functions and dispositions. The theory we suggest is compatible both with major philosophical theories of biological functions and with most top-level ontologies. The particular focus of the suggested formalism is on the inference of causal relationships from functionality and the explicit formalization of the normative character of functions using non-monotonic forms of knowledge representation.

AB - We introduce a basic ontology of functions and dispositions. The theory we suggest is compatible both with major philosophical theories of biological functions and with most top-level ontologies. The particular focus of the suggested formalism is on the inference of causal relationships from functionality and the explicit formalization of the normative character of functions using non-monotonic forms of knowledge representation.

UR - http://hdl.handle.net/2160/11097

M3 - Conference Proceeding (Non-Journal item)

BT - Proceedings of the 12th Annual Bio-Ontologies Meeting

ER -

Contributions to the formal ontology of functions and dispositions: An application of non-monotonic reasoning

Crynodeb

Mynediad at Ddogfen

Cysylltiad parhaol

Ffeiliau eraill a chysylltiadau

Ôl bys

Dyfynnu hyn