-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2), 510-530 (1985)
-
(1985)
J. Symb. Log
, vol.50
, Issue.2
, pp. 510-530
-
-
Alchourrón, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
0003727420
-
-
Cambridge University Press, Cambridge
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and application. Cambridge University Press, Cambridge (2003)
-
(2003)
The Description Logic Handbook: Theory, implementation and application
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
3
-
-
79551602978
-
The semantic web
-
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5), 3443 (2001)
-
(2001)
Scientific American
, vol.284
, Issue.5
, pp. 3443
-
-
Berners-Lee, T.1
Hendler, J.2
Lassila, O.3
-
4
-
-
33750722095
-
Inconsistencies, negations and changes in ontologies
-
Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proc. of AAAI 2006, pp. 1295-1300 (2006)
-
(2006)
Proc. of AAAI 2006
, pp. 1295-1300
-
-
Flouris, G.1
Huang, Z.2
Pan, J.Z.3
Plexousakis, D.4
Wache, H.5
-
5
-
-
33646394932
-
Generalizing the agm postulates: Preliminary results and applications
-
Flouris, G., Plexousakis, D., Antoniou, G.: Generalizing the agm postulates: preliminary results and applications. In: Proc. of NMR 2004, pp. 171-179 (2004)
-
(2004)
Proc. of NMR
, pp. 171-179
-
-
Flouris, G.1
Plexousakis, D.2
Antoniou, G.3
-
6
-
-
33646394310
-
-
Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to DLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, 3729, pp. 216-231. Springer, Heidelberg (2005)
-
Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to DLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 216-231. Springer, Heidelberg (2005)
-
-
-
-
7
-
-
0001182056
-
Theory contraction through base contraction
-
Fuhrmann, A.: Theory contraction through base contraction. Journal of Philosophical Logic 20(2), 175-203 (1991)
-
(1991)
Journal of Philosophical Logic
, vol.20
, Issue.2
, pp. 175-203
-
-
Fuhrmann, A.1
-
9
-
-
33750726055
-
On the update of description logic ontologies at the instance level
-
De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proc. of AAAI 2006 (2006)
-
(2006)
Proc. of AAAI
-
-
De Giacomo, G.1
Lenzerini, M.2
Poggi, A.3
Rosati, R.4
-
10
-
-
26444478633
-
-
Haase, P., Stojanovic, L.: Consistent evolution of owl ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, 3532, pp. 182-197. Springer, Heidelberg (2005)
-
Haase, P., Stojanovic, L.: Consistent evolution of owl ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 182-197. Springer, Heidelberg (2005)
-
-
-
-
11
-
-
33646412834
-
-
Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, 3729, pp. 353-367. Springer, Heidelberg (2005)
-
Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 353-367. Springer, Heidelberg (2005)
-
-
-
-
13
-
-
84977342710
-
New operators for theory change
-
Hansson, S.O.: New operators for theory change. Theoria 55, 114-132 (1989)
-
(1989)
Theoria
, vol.55
, pp. 114-132
-
-
Hansson, S.O.1
-
14
-
-
0001768163
-
Reversing the levi identity
-
Hansson, S.O.: Reversing the levi identity. Journal of Philosophical Logic 22(6), 637-669 (1993)
-
(1993)
Journal of Philosophical Logic
, vol.22
, Issue.6
, pp. 637-669
-
-
Hansson, S.O.1
-
15
-
-
21844482326
-
Kernel contraction
-
Hansson, S.O.: Kernel contraction. J. Symb. Log. 59(3), 845-859 (1994)
-
(1994)
J. Symb. Log
, vol.59
, Issue.3
, pp. 845-859
-
-
Hansson, S.O.1
-
18
-
-
0026383919
-
Propositional knowledge base revision and minimal change
-
Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263-294 (1992)
-
(1992)
Artif. Intell
, vol.52
, Issue.3
, pp. 263-294
-
-
Katsuno, H.1
Mendelzon, A.O.2
-
19
-
-
79960039110
-
Updating description logic aboxes
-
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: Proc. of KR 2006, pp. 46-56 (2006)
-
(2006)
Proc. of KR
, pp. 46-56
-
-
Liu, H.1
Lutz, C.2
Milicic, M.3
Wolter, F.4
-
20
-
-
29344457216
-
Knowledge integration for description logics
-
Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of AAAI 2005, pp. 645-650 (2005)
-
(2005)
Proc. of AAAI 2005
, pp. 645-650
-
-
Meyer, T.1
Lee, K.2
Booth, R.3
-
21
-
-
0003370662
-
Reasoning and Revision in Hybrid Representation Systems
-
Springer, Heidelberg
-
Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. LNCS, vol. 422. Springer, Heidelberg (1990)
-
(1990)
LNCS
, vol.422
-
-
Nebel, B.1
-
22
-
-
33746052027
-
-
Plessers, P., De Troyer, O.: Resolving inconsistencies in evolving ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, 4011, pp. 200-214. Springer, Heidelberg (2006)
-
Plessers, P., De Troyer, O.: Resolving inconsistencies in evolving ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 200-214. Springer, Heidelberg (2006)
-
-
-
-
23
-
-
33750078987
-
Knowledge base revision in description logics
-
Fisher, M, van der Hoek, W, Konev, B, Lisitsa, A, eds, JELIA 2006, Springer, Heidelberg
-
Qi, G., Liu, W., Bell, D.A.: Knowledge base revision in description logics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 386-398. Springer, Heidelberg (2006)
-
(2006)
LNCS (LNAI
, vol.4160
, pp. 386-398
-
-
Qi, G.1
Liu, W.2
Bell, D.A.3
-
25
-
-
44349155989
-
Base revision in description logics - preliminary results
-
Ribeiro, M.M., Wassermann, R.: Base revision in description logics - preliminary results. In: Proc. of IWOD 2007, pp. 69-82 (2007)
-
(2007)
Proc. of IWOD 2007
, pp. 69-82
-
-
Ribeiro, M.M.1
Wassermann, R.2
-
26
-
-
34548321613
-
Debugging incoherent terminologies
-
Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reasoning 39(3), 317-349 (2007)
-
(2007)
J. Autom. Reasoning
, vol.39
, Issue.3
, pp. 317-349
-
-
Schlobach, S.1
Huang, Z.2
Cornet, R.3
van Harmelen, F.4
-
28
-
-
56249108806
-
-
Elsevier Science, Amsterdam
-
van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)
-
(2007)
Handbook of Knowledge Representation
-
-
van Harmelen, F.1
Lifschitz, V.2
Porter, B.3
|