-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
Alchourron, C., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50 (1985) 510-530
-
(1985)
Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourron, C.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
0003727420
-
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds): Cambridge University Press
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2002)
-
(2002)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
-
3
-
-
29144450096
-
Description logics as ontology languages for the semantic web
-
Hutter, D., Stephan, W. (eds): Festschrift in honor of Jörg Siekmann. Springer-Verlag
-
Baader, F., Horrocks, I., Sattler, U.: Description Logics as Ontology Languages for the Semantic Web. In: Hutter, D., Stephan, W. (eds): Festschrift in honor of Jörg Siekmann. Lecture Notes in Artificial Intelligence, Springer-Verlag, (2003)
-
(2003)
Lecture Notes in Artificial Intelligence
-
-
Baader, F.1
Horrocks, I.2
Sattler, U.3
-
4
-
-
79551602978
-
The semantic web
-
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284 5 (2001) 34-43
-
(2001)
Scientific American
, vol.284
, Issue.5
, pp. 34-43
-
-
Berners-Lee, T.1
Hendler, J.2
Lassila, O.3
-
6
-
-
4344567256
-
OWL web ontology language reference
-
Dean, D., Schreiber, G., Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuiness, D., Patel-Schneider, P., Stein, L.A.: OWL Web Ontology Language Reference. W3C Recommendation (2005) web page: http://www.w3.org/TR/ owl-ref/
-
(2005)
W3C Recommendation
-
-
Dean, D.1
Schreiber, G.2
Bechhofer, S.3
Van Harmelen, F.4
Hendler, J.5
Horrocks, I.6
McGuiness, D.7
Patel-Schneider, P.8
Stein, L.A.9
-
7
-
-
33745664752
-
Handling ontology change: Survey and proposal for a future research direction
-
Flouris, G., Plexousakis, D.: Handling Ontology Change: Survey and Proposal for a Future Research Direction. Technical Report FORTH-ICS/TR-362 (2005)
-
(2005)
Technical Report
, vol.FORTH-ICS-TR-362
-
-
Flouris, G.1
Plexousakis, D.2
-
8
-
-
33646429314
-
AGM postulates in arbitrary logics: Initial results and applications
-
Flouris, G., Plexousakis, D., Antoniou, G.: AGM Postulates in Arbitrary Logics: Initial Results and Applications. Technical Report FORTH-ICS/TR-336 (2004)
-
(2004)
Technical Report
, vol.FORTH-ICS-TR-336
-
-
Flouris, G.1
Plexousakis, D.2
Antoniou, G.3
-
11
-
-
0003353428
-
Belief revision: An introduction
-
Gärdenfors, P. (ed): Cambridge University Press
-
Gärdenfors, P.: Belief Revision: An Introduction. In: Gärdenfors, P. (ed): Belief Revision. Cambridge University Press (1992) 1-20
-
(1992)
Belief Revision
, pp. 1-20
-
-
Gärdenfors, P.1
-
12
-
-
0002428155
-
The dynamics of belief systems: Foundations versus coherence theories
-
Gärdenfors, P.: The Dynamics of Belief Systems: Foundations Versus Coherence Theories. Revue Internationale de Philosophie 44 (1992) 24-46
-
(1992)
Revue Internationale de Philosophie
, vol.44
, pp. 24-46
-
-
Gärdenfors, P.1
-
15
-
-
0013328572
-
A survey of non-prioritized belief revision
-
Hansson, S.O.: A Survey of Non-prioritized Belief Revision. Erkenntnis 50 (1999)
-
(1999)
Erkenntnis
, vol.50
-
-
Hansson, S.O.1
-
16
-
-
0000103388
-
In defense of base contraction
-
Hansson, S.O.: In Defense of Base Contraction. Synthese 91 (1992) 239-245
-
(1992)
Synthese
, vol.91
, pp. 239-245
-
-
Hansson, S.O.1
-
17
-
-
0030120628
-
Knowledge-level analysis of belief base operations
-
Hansson, S.O.: Knowledge-level Analysis of Belief Base Operations. Artificial Intelligence 82 (1996) 215-235
-
(1996)
Artificial Intelligence
, vol.82
, pp. 215-235
-
-
Hansson, S.O.1
-
19
-
-
9344221124
-
Reducing OWL entailment to description logic satisfiability
-
Horrocks, I., Patel-Schneider, P.: Reducing OWL Entailment to Description Logic Satisfiability. Journal of Web Semantics 1 4 (2004) 345-357
-
(2004)
Journal of Web Semantics
, vol.1
, Issue.4
, pp. 345-357
-
-
Horrocks, I.1
Patel-Schneider, P.2
-
22
-
-
0002498396
-
On the difference between updating a knowledge base and revising it
-
University of Toronto, Canada, KRR-TR-90-6
-
Katsuno, H., Mendelzon, A.O.: On the Difference Between Updating a Knowledge Base and Revising It. Technical Report on Knowledge Representation and Reasoning, University of Toronto, Canada, KRR-TR-90-6 (1990)
-
(1990)
Technical Report on Knowledge Representation and Reasoning
-
-
Katsuno, H.1
Mendelzon, A.O.2
-
26
-
-
0242355917
-
How to give it up: A survey of some formal aspects of the logic of theory change
-
Makinson, D.: How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change, Synthese 62 (1985) 347-363
-
(1985)
Synthese
, vol.62
, pp. 347-363
-
-
Makinson, D.1
-
29
-
-
85132103794
-
Ontology evolution: Not the same as schema evolution
-
Noy, N.F., Klein, M.: Ontology Evolution: Not the Same as Schema Evolution, Knowledge and Information Systems 6 4 (2004) 428-440
-
(2004)
Knowledge and Information Systems
, vol.6
, Issue.4
, pp. 428-440
-
-
Noy, N.F.1
Klein, M.2
|