-
1
-
-
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
-
2
-
-
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
-
4
-
-
84872896759
-
Versioning based on logical difference for lightweight description logic terminologies
-
Gatens, W., Konev, B., Ludwig, M., Wolter, F.: Versioning based on logical difference for lightweight description logic terminologies. In: Proc. of ARCOE-11 (2011)
-
(2011)
Proc. of ARCOE-11
-
-
Gatens, W.1
Konev, B.2
Ludwig, M.3
Wolter, F.4
-
6
-
-
78650254534
-
-
Jim'enez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga Llavori, R.: Building ontologies collaboratively using ContentCVS. In: Proc. of DL 2009. CEUR (http://ceur-ws. org/), vol. 477 (2009)
-
(2009)
Building Ontologies Collaboratively Using ContentCVS. Proc. of DL 2009. CEUR
, vol.477
-
-
Jimenez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
Berlanga Llavori, R.4
-
7
-
-
78649780810
-
Supporting concurrent ontology development: Framework, algorithms and tool
-
Jimenez-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'enez-Ruiz, E.1
Cuenca Grau, B.2
Horrocks, I.3
Berlanga Llavori, R.4
-
8
-
-
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
, pp. 2
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Cuenca Grau, B.4
Hendler, J.5
-
9
-
-
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 (2007)
-
(2007)
Proc. of ISWC/ASWC
-
-
Kalyanpur, A.1
Parsia, B.2
Horridge, M.3
Sirin, E.4
-
10
-
-
77951065704
-
Logical difference and module extraction with CEX and MEX
-
Konev, B., Lutz, C., Walther, D., Wolter, F.: Logical difference and module extraction with CEX and MEX. In: Proc. of DL 2008. CEUR (http://ceur-ws.org/), vol. 353 (2008)
-
(2008)
Proc. of DL 2008. CEUR
, vol.353
-
-
Konev, B.1
Lutz, C.2
Walther, D.3
Wolter, F.4
-
11
-
-
84872899665
-
-
Kremen, P., Abrahamc?k, J., Pufler, J., Sm?d, M.: OWLDiff (2008), http://krizik. felk.cvut.cz/km/owldiff/
-
(2008)
OWLDiff
-
-
Kremen, P.1
Abrahamck, J.2
Pufler, J.3
Smd, M.4
-
12
-
-
38649112423
-
PROMPTDIFF: A fixed-point algorithm for comparing ontology versions
-
Noy, N.F., Musen, M.A.: PROMPTDIFF: A fixed-point algorithm for comparing ontology versions. In: Proc. of AAAI-02 (2002)
-
(2002)
Proc. of AAAI-02
-
-
Noy, N.F.1
Musen, M.A.2
-
14
-
-
49949093331
-
Ontology performance profiling and model examination: First steps
-
Springer-Verlag
-
Wang, T.D., Parsia, B.: Ontology performance profiling and model examination: First steps. In: Proc. of ISWC/ASWC-07. LNCS, vol. 4825. Springer-Verlag (2007)
-
(2007)
Proc. of ISWC/ASWC-07. LNCS
, vol.4825
-
-
Wang, T.D.1
Parsia, B.2
|