-
2
-
-
0003727420
-
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors, Cambridge University Press
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook
-
-
-
3
-
-
84941152376
-
Jena: Implementing the Semantic Web recommendations
-
S. I. Feldman, M. Uretsky, M. Najork, and C. E. Wills, editors, New York, NY, USA, May 17-20, pp, ACM
-
J. J. Carroll, I. Dickinson, C. Dollin, D. Reynolds, A. Seaborne, and K. Wilkinson. Jena: implementing the Semantic Web recommendations. In S. I. Feldman, M. Uretsky, M. Najork, and C. E. Wills, editors, Proc. of 13th Int. Conf. on World Wide Web-Alt. Track Papers & Posters, New York, NY, USA, May 17-20, pp. 74-83. ACM, 2004.
-
(2004)
Proc. of 13th Int. Conf. on World Wide Web-Alt. Track Papers & Posters
, pp. 74-83
-
-
Carroll, J.J.1
Dickinson, I.2
Dollin, C.3
Reynolds, D.4
Seaborne, A.5
Wilkinson, K.6
-
6
-
-
38949167358
-
Modularity and web ontologies
-
P. Doherty, J. Mylopoulos, and C. A. Welty, editors, June 2-5, AAAI Press
-
B. C. Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and web ontologies. In P. Doherty, J. Mylopoulos, and C. A. Welty, editors, Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, June 2-5, pages 198-209. AAAI Press, 2006.
-
(2006)
Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning
, pp. 198-209
-
-
Grau, B.C.1
Parsia, B.2
Sirin, E.3
Kalyanpur, A.4
-
7
-
-
49949083689
-
-
A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin. Finding all justifications of owl dl entailments. In K. Aberer, K.-S. Choi, N. F. Noy, and (et al.), editors, The Semantic Web, 6th Int. Semantic Web Conf, 2nd Asian Semantic Web Conf, ISWC + ASWC, Busan, Korea, November 11-15, 4825 of LNCS, pages 267-280. Springer, 2007.
-
A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin. Finding all justifications of owl dl entailments. In K. Aberer, K.-S. Choi, N. F. Noy, and (et al.), editors, The Semantic Web, 6th Int. Semantic Web Conf, 2nd Asian Semantic Web Conf, ISWC + ASWC, Busan, Korea, November 11-15, volume 4825 of LNCS, pages 267-280. Springer, 2007.
-
-
-
-
8
-
-
33746054122
-
Repairing Unsatisfiable Concepts in OWL Ontologies
-
Y. Sure and J. Domingue, editors, 3rd European Semantic Web Conf, Budva, Montenegro, June 11-14, 2006, Proc, Springer
-
A. Kalyanpur, B. Parsia, E. Sirin, and B. C. Grau. Repairing Unsatisfiable Concepts in OWL Ontologies. In Y. Sure and J. Domingue, editors, 3rd European Semantic Web Conf, Budva, Montenegro, June 11-14, 2006, Proc, LNCS 4011, pp. 170-184. Springer.
-
LNCS
, vol.4011
, pp. 170-184
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Grau, B.C.4
-
9
-
-
33845424992
-
Reaching Agreement over Ontology Alignments
-
Springer, November
-
L. Laera, V. Tamma, J. Euzenat, T. Bench-Capon, and T. R. Payne. Reaching Agreement over Ontology Alignments. In 5th Int. Semantic Web Conf. (ISWC 2006), pages 371-384. Springer, November 2006.
-
(2006)
5th Int. Semantic Web Conf. (ISWC 2006)
, pp. 371-384
-
-
Laera, L.1
Tamma, V.2
Euzenat, J.3
Bench-Capon, T.4
Payne, T.R.5
-
11
-
-
62949239054
-
-
P. F. Patel-Schneider, P. Hayes, and I. Horrocks. OWL Semantics and Abstract Syntax, 2004.
-
P. F. Patel-Schneider, P. Hayes, and I. Horrocks. OWL Semantics and Abstract Syntax, 2004.
-
-
-
-
12
-
-
41549150869
-
Web services from an agent perspective
-
T. R. Payne. Web services from an agent perspective. IEEE Intelligent Systems, 23(2):12-14, 2008.
-
(2008)
IEEE Intelligent Systems
, vol.23
, Issue.2
, pp. 12-14
-
-
Payne, T.R.1
-
13
-
-
0003137637
-
On an interpretation of second order quantification in first order intuitionistic propositional logic
-
A. M. Pitts. On an interpretation of second order quantification in first order intuitionistic propositional logic. J. Symb. Log., 57(1):33-52, 1992.
-
(1992)
J. Symb. Log
, vol.57
, Issue.1
, pp. 33-52
-
-
Pitts, A.M.1
-
14
-
-
84899931123
-
A cooperation-based approach for evolution of service ontologies. In Padgham, Parkes
-
Muller, and Parsons, editors, May, 12-16, Estoril, Portugal
-
M. Sensoy and P. Yolum. A cooperation-based approach for evolution of service ontologies. In Padgham, Parkes, Muller, and Parsons, editors, Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems, May, 12-16, Estoril, Portugal, pages 837-844, 2008.
-
(2008)
Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems
, pp. 837-844
-
-
Sensoy, M.1
Yolum, P.2
-
16
-
-
34249817069
-
Pellet: A practical OWL-DL reasoner
-
E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz. Pellet: A practical OWL-DL reasoner. Journal of Web Semantics, 5(2), 2007.
-
(2007)
Journal of Web Semantics
, vol.5
, Issue.2
-
-
Sirin, E.1
Parsia, B.2
Grau, B.C.3
Kalyanpur, A.4
Katz, Y.5
-
17
-
-
0032026995
-
Knowledge engineering: Principles and methods
-
R. Studer, V. R. Benjamins, and D. Fensel. Knowledge engineering: Principles and methods. Data Knowledge Engineering, 25(1-2):161-197, 1998.
-
(1998)
Data Knowledge Engineering
, vol.25
, Issue.1-2
, pp. 161-197
-
-
Studer, R.1
Benjamins, V.R.2
Fensel, D.3
-
18
-
-
49949093331
-
-
T. D. Wang and B. Parsia. Ontology Performance Profiling and Model Examination: First Steps. In K. A. et al., editor, Proc. of 6th Int. Semantic Web Conf, ISWC 2007 + ASWC 2007, Busan, Korea, Nov. 11-15, 2007, LNCS 4825, pp. 595-608. Springer.
-
T. D. Wang and B. Parsia. Ontology Performance Profiling and Model Examination: First Steps. In K. A. et al., editor, Proc. of 6th Int. Semantic Web Conf, ISWC 2007 + ASWC 2007, Busan, Korea, Nov. 11-15, 2007, LNCS 4825, pp. 595-608. Springer.
-
-
-
-
19
-
-
0011112277
-
Fusions of modal logics revisited
-
M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, CSLI, Stanford, CA
-
F. Wolter. Fusions of modal logics revisited. In M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal Logic. CSLI, Stanford, CA, 1998.
-
(1998)
Advances in Modal Logic
-
-
Wolter, F.1
|