DE eng

Search in the Catalogues and Directories

Hits 1 – 7 of 7

1
JOURNAL OF BIOMEDICAL SEMANTICS RESEARCH Open Access Mapping between the OBO and OWL ontology languages
In: ftp://ftp.ncbi.nlm.nih.gov/pub/pmc/07/25/J_Biomed_Semantics_2011_Mar_7_2(Suppl_1)_S3.tar.gz (2009)
BASE
Show details
2
Southampton and The Open University. Preface
In: http://www.aktors.org/akt/events/docsympjune2005/proceedings/proceedings-full.pdf (2005)
BASE
Show details
3
Learning Information Extraction Rules: An Inductive Logic Programming approach
In: http://www.aiai.ed.ac.uk/~stuart/Papers/ecai02-paper.pdf (2002)
BASE
Show details
4
Interactive Proof Discovery: An Empirical Study of HOL Users
In: ftp://ftp.dcs.gla.ac.uk/pub/users/tfm/Pubs/IntPD.ps.gz (1995)
BASE
Show details
5
Resolution Theorem Proving in Reified Modal Logics
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 12 (1994) 1, 103-130
OLC Linguistik
Show details
6
A Grammar-Based Approach to Knowledge Fusion
In: http://www.aiai.ed.ac.uk/~stuart/Papers/translate.ps
BASE
Show details
7
OBO & OWL: Roundtrip Ontology Transformations
In: http://ceur-ws.org/Vol-559/Paper6.pdf
BASE
Show details

Catalogues
0
0
1
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern