-
1
-
-
0003727420
-
-
Cambridge University Press
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
-
(2003)
The Description Logic Handbook: Theory, Implementation, and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.F.5
-
2
-
-
44449149343
-
Modular reuse of ontologies: Theory and practice
-
Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. J. of Artificial Intelligence Research 31 (2008)
-
(2008)
J. of Artificial Intelligence Research
, vol.31
-
-
Cuenca Grau, B.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
3
-
-
56049103039
-
OWL 2: The next step for OWL
-
Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. J. of Web Semantics (2008)
-
(2008)
J. of Web Semantics
-
-
Cuenca Grau, B.1
Horrocks, I.2
Motik, B.3
Parsia, B.4
Patel-Schneider, P.5
Sattler, U.6
-
5
-
-
84868532455
-
The OWL API: A java API for working with OWL 2 ontologies
-
Horridge, M., Bechhofer, S.: The OWL API: A Java API for working with OWL 2 ontologies. In: Proc. of OWLED-09 (2009)
-
(2009)
Proc. of OWLED-09
-
-
Horridge, M.1
Bechhofer, S.2
-
7
-
-
78649780810
-
Supporting concurrent ontology development: Framework, algorithms and tool
-
Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga Llavori, R.: Supporting concurrent ontology development: Framework, algorithms and tool. Data and Knowledge Engineering 70(1) (2011)
-
(2011)
Data and Knowledge Engineering
, vol.70
, Issue.1
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
Berlanga Llavori, R.4
-
8
-
-
54549102415
-
Finding all justifications of OWL DL entailments
-
Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Proc. of ISWC/ASWC-07 (2007)
-
(2007)
Proc. of ISWC/ASWC-07
-
-
Kalyanpur, A.1
Parsia, B.2
Horridge, M.3
Sirin, E.4
-
9
-
-
33744972792
-
Swoop: A web ontology editing browser
-
Kalyanpur, A., Parsia, B., Sirin, E., Cuenca Grau, B., Hendler, J.: Swoop: A Web ontology editing browser. J. of Web Semantics 4(2) (2006)
-
(2006)
J. of Web Semantics
, vol.4
, Issue.2
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Cuenca Grau, B.4
Hendler, J.5
-
10
-
-
53049098297
-
The logical difference problem for description logic terminologies
-
Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies. In: IJCAR-08. vol. 5195 (2008)
-
(2008)
IJCAR-08
, vol.5195
-
-
Konev, B.1
Walther, D.2
Wolter, F.3
-
11
-
-
84870837061
-
OWLDiff: A practical tool for comparison and merge of OWL ontologies
-
Křemen, P., Šmíd, M., Kouba, Z.: OWLDiff: A practical tool for comparison and merge of OWL ontologies. In: Proc. of DEXA-12 (2011)
-
(2011)
Proc. of DEXA-12
-
-
Křemen, P.1
Šmíd, M.2
Kouba, Z.3
-
12
-
-
77951973818
-
Modeling sample variables with an experimental factor ontology
-
Malone, J., Holloway, E., Adamusiak, T., Kapushesky, M., Zheng, J., Kolesnikov, N., Zhukova, A., Brazma, A., Parkinson, H.E.: Modeling sample variables with an experimental factor ontology. Bioinformatics 26(8), 1112-1118 (2010)
-
(2010)
Bioinformatics
, vol.26
, Issue.8
, pp. 1112-1118
-
-
Malone, J.1
Holloway, E.2
Adamusiak, T.3
Kapushesky, M.4
Zheng, J.5
Kolesnikov, N.6
Zhukova, A.7
Brazma, A.8
Parkinson, H.E.9
-
13
-
-
77954459080
-
OWL 2 web ontology language: Structural specification and functional-style syntax
-
11 June
-
Motik, B., Patel-Schneider, P., Parsia, B.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Cand. Rec. (11 June 2009), http://www.w3.org/TR/2009/CR-owl2-syntax-20090611/
-
(2009)
W3C Cand. Rec.
-
-
Motik, B.1
Patel-Schneider, P.2
Parsia, B.3
|