Results for 'Horrocks Ian'

951 found
Order:
  1.  5
    Decidability of SHIQ with complex role inclusion axioms.Ian Horrocks & Ulrike Sattler - 2004 - Artificial Intelligence 160 (1-2):79-104.
  2.  20
    An Introduction to Description Logic.Franz Baader, Ian Horrocks, Carsten Lutz & Uli Sattler - 2017 - Cambridge, England: Cambridge University Press.
    The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
    No categories
  3.  14
    Consequence-based and fixed-parameter tractable reasoning in description logics.František Simančík, Boris Motik & Ian Horrocks - 2014 - Artificial Intelligence 209 (C):29-77.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  12
    Modular materialisation of Datalog programs.Pan Hu, Boris Motik & Ian Horrocks - 2022 - Artificial Intelligence 308 (C):103726.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  19
    Maintenance of datalog materialisations revisited.Boris Motik, Yavor Nenov, Robert Piro & Ian Horrocks - 2019 - Artificial Intelligence 269 (C):76-136.
  6.  34
    Tractable query answering and rewriting under description logic constraints.Héctor Pérez-Urbina, Boris Motik & Ian Horrocks - 2010 - Journal of Applied Logic 8 (2):186-209.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7.  17
    Pay-as-you-go consequence-based reasoning for the description logic SROIQ.David Tena Cucala, Bernardo Cuenca Grau & Ian Horrocks - 2021 - Artificial Intelligence 298 (C):103518.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  16
    The delay and window size problems in rule-based stream reasoning.Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau & Ian Horrocks - 2022 - Artificial Intelligence 306 (C):103668.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  12
    Representing ontologies using description logics, description graphs, and rules.Boris Motik, Bernardo Cuenca Grau, Ian Horrocks & Ulrike Sattler - 2009 - Artificial Intelligence 173 (14):1275-1309.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  18
    Foundations of ontology-based data access under bag semantics.Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau & Ian Horrocks - 2019 - Artificial Intelligence 274 (C):91-132.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Practical reasoning for very expressive description.Horrocks Ian, Sattler Ulrike & S. Tobies - 2000 - Logic Journal of the IGPL 8 (3):239-263.
     
    Export citation  
     
    Bookmark  
  12.  32
    Lance Day and Ian McNeil , Biographical Dictionary of the History of Technology. London: Routledge, 1996. Pp. xiii+844. ISBN 0-415-06042-7. £85.00. [REVIEW]Sally M. Horrocks - 1998 - British Journal for the History of Science 31 (1):63-102.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  15
    The perils of educating for virtuous patriotism.Ian MacMullen - 2021 - Journal of Social Philosophy 52 (3):403-409.
    Journal of Social Philosophy, EarlyView.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Equipossibility theories of probability.Ian Hacking - 1971 - British Journal for the Philosophy of Science 22 (4):339-355.
  15. Facing the end : the work of thinking in the late Denktagebuch.Ian Storey - 2017 - In Roger Berkowitz & Ian Storey (eds.), Artifacts of Thinking: Reading Hannah Arendt's Denktagebuch. New York, NY: Fordham University Press.
     
    Export citation  
     
    Bookmark  
  16.  48
    Survey Article: What Is “Post‐factual” Politics?Ian MacMullen - 2020 - Journal of Political Philosophy 28 (1):97-116.
    Journal of Political Philosophy, EarlyView.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17. The Morality of the Corporation.Ian Maitland - 1994 - Business Ethics Quarterly 4 (4):445-458.
    In the canonical view of the corporation, management is the agent of the owners of the corporation-the stockholders-and, as such, has a fiduciary duty to manage the corporation in their best interests. Most business ethicists condemn this arrangement as morally indefensible because it fails to respect the right of other corporate constituencies or “stakeholders” to self-deterrnination. By contrast, the modern agency theory of the firm provides a defense of this arrangement on the grounds that it is the result of stakeholders’ (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  18. Russellian Acquaintance Revisited.Ian Proops - 2014 - Journal of the History of Philosophy 52 (4):779-811.
    It is sometimes claimed that in his 1912 work, "The Problems of Philosophy" (POP), and possibly as early as “on Denoting”, Russell conceives of the mind's acquaintance with sense-data as providing an indubitable or certain foundation for empirical knowledge. However, although he does say things suggestive of this view in certain of his 1914 works, Russell also makes remarks in POP that conflict with any such broadly "Cartesian" interpretation of this work. This paper attempts to resolve this apparent tension, while (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  19.  60
    An Open Letter to the Deans and the Faculties of American Business Schools.Ian Mitroff - 2004 - Journal of Business Ethics 54 (2):185-189.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  20. Welfare is to do with what animals feel.Ian J. H. Duncan - forthcoming - Journal of Agricultural and Environmental Ethics.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  21. Immagini radicalmente construzionaliste del progresso matematico.Ian Hacking - 1995 - In Alessandro Pagnini (ed.), Realismo/antirealismo: aspetti del dibattito epistemologico contemporaneo. Scandicci (Firenze): La Nuova Italia.
     
    Export citation  
     
    Bookmark  
  22.  25
    On being more literal about construction.Ian Hacking - 1998 - In Irving Velody & Robin Williams (eds.), The Politics of constructionism. Thousand Oaks, Calif.: SAGE Publications. pp. 49--68.
  23. Degrees of dependence : the example of the introduction of pottery in the Middle East and at Çatalhöyük.Ian Hodder - 2016 - In Lindsay Der & Francesca Fernandini (eds.), Archaeology of entanglement. Walnut Creek, California: Left Coast Press.
     
    Export citation  
     
    Bookmark  
  24. (1 other version)Reading the past: current approaches to interpretation in archaeology.Ian Hodder - 1986 - New York: Cambridge University Press.
     
    Export citation  
     
    Bookmark  
  25.  9
    The Origins of Love and Hate.Ian Dishart Suttie - 1999 - Routledge.
    First published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  26. What Could Change Your Mind?Ian M. Church - 2016 - The Philosophers' Magazine.
  27.  4
    Democratic Decline and Democratic Renewal: Political Change in Britain, Australia and New Zealand.Ian Marsh & Raymond Miller - 2012 - Cambridge University Press.
    The story of liberal democracy over the last half century has been a triumphant one in many ways, with the number of democracies increasing from a minority of states to a significant majority. Yet substantial problems afflict democratic states, and while the number of democratic countries has expanded, democratic practice has contracted. This book introduces a novel framework for evaluating the rise and decline of democratic governance. Examining three mature democratic countries – Britain, Australia and New Zealand – the authors (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Debate: The Myth of ‘Merely Formal Freedom’.Ian Carter - 2010 - Journal of Political Philosophy 19 (4):486-495.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  29.  74
    Exchange revisited: Individual utility and social solidarity.Ian R. Macneil - 1986 - Ethics 96 (3):567-593.
  30. Semantic theory and necessary truth.Ian Rumfitt - 2001 - Synthese 126 (1-2):283 - 324.
  31.  21
    From Serena to Hypatia: John Toland's Women.Ian Leask - 2020 - Royal Institute of Philosophy Supplement 88:195-214.
    This paper focusses on John Toland's influentialHypatia(1720), an account of the neo-Platonist philosopher and mathematician murdered in ancient Alexandria; it also considers segments of hisLetters to Serena(1704), and suggests various conjunctions between the two texts which confirm Toland's genuine and sustained feminist commitment. As I try to establish, Toland's concern is as much about contemporaneous events as it is about ‘disinterested’ history: by promoting Hypatia as the representative of philosophy in its perennial struggle with superstition and priestcraft, Toland is able (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  93
    Truth wronged: Crispin Wright's truth and objectivity.Ian Rumfitt - 1995 - Ratio 8 (1):100-107.
  33. Basic factive perceptual reasons.Ian Schnee - 2016 - Philosophical Studies 173 (4):1103-1118.
    Many epistemologists have recently defended views on which all evidence is true or perceptual reasons are facts. On such views a common account of basic perceptual reasons is that the fact that one sees that p is one’s reason for believing that p. I argue that that account is wrong; rather, in the basic case the fact that p itself is one’s reason for believing that p. I show that my proposal is better motivated, solves a fundamental objection that the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34.  40
    Nineteenth Century Cracks in the Concept of Determinism.Ian Hacking - 1983 - Journal of the History of Ideas 44 (3):455.
  35.  52
    Evidence, Logic, the Rule and the Exception in Renaissance Law and Medicine.Ian Maclean - 2000 - Early Science and Medicine 5 (3):227-256.
    This article sets out to investigate aspects of the uptake of Renaissance law and medicine from some of the logical and natural-philosophical components of the university arts course. Medicine is shown to have a much laxer operative logic than law, reflecting its commitment to the theory of idiosyncrasy as opposed to the demands made upon the law by the need for a uniform application of justice. Symptomatic of the different uptake arc the contrasting meanings of "regulariter" and "generaliter" in the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36. Reappraising Feyerabend.Ian James Kidd & Matthew Brown - 2016 - Studies in History and Philosophy of Science Part A 57:00-000.
    This volume is devoted to a reappraisal of the philosophy of Paul Feyerabend. It has four aims. The first is to reassess his already well-known work from the 1960s and 1970s in light of contemporary developments in the history and philosophy of science. The second is to explore themes in his neglected later work, including recently published and previously unavailable writings. The third is to assess the contributions that Feyerabend can make to contemporary debate, on topics such as perspectivism, realism, (...)
     
    Export citation  
     
    Bookmark   2 citations  
  37.  71
    Explanatory and inferential conditionals.Ian Wilson - 1979 - Philosophical Studies 35 (3):269 - 278.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  38.  49
    Pro Buridano; Contra Hazenum.Ian Hinckfuss - 1991 - Canadian Journal of Philosophy 21 (3):389 - 398.
    Alan Hazen has claimed that Buridan’s theory of truth does not escape semantic paradox.In this paper, I claim that Buridan's theory is untouched by Hazen's case.My solution to Hazen's paradox requires the recognition of the exceptionability of what I shall call T-Elimination, namely, the principle that from a statement that such and such is true, we may deduce such and such. The exceptions are explained by reference to the role of what I shall call the meta-content of a locution, that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39. Foucault's Renaissance Episteme Reassessed: An Aristotelian Counterblast.Ian Maclean - 1998 - Journal of the History of Ideas 59 (1):149-166.
    In lieu of an abstract, here is a brief excerpt of the content:Foucault’s Renaissance Episteme Reassessed: An Aristotelian CounterblastIan MacleanThere seem to me to be two good reasons for looking at Foucault’s Renaissance episteme again, even though specialists of the Renaissance have given it short shrift and Foucault himself does not seem to have set great store by it in his later writings. 1 The first is that in general books on Foucault accounts of it are still given in a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Sufism and deconstruction: a comparative study of Derrida and Ibn ʻArabi.Ian Almond - 2004 - New York: Routledge.
    This book examines a series of common metaphors in the works of Derrida and the Sufism of Muhyddin Ibn 'Arabi, considered to be of the most influential figures in Islamic thought. The author addresses the significant absence of attention on the relationship between Islam and Derrida and also provides a deconstructive perspective on Ibn 'Arabi.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  41.  14
    Rationality and relativism: in search of a philosophy and history of anthropology.Ian Charles Jarvie - 1984 - Boston: Routledge and Kegan Paul.
  42.  55
    Community Lost?Ian Maitland - 1998 - Business Ethics Quarterly 8 (4):655-670.
    This paper examines recent communitarian writing about the market. Much of this work explains the loss of community in our times as a result of the expansion of the market and market values. As the market has invaded other domains, such as family andneighborhood, relationships there have become infected by the instability and transience that characterize market relations. Centralto this critique of the market is the view that the market is unable to sustain lasting commitments. This paper tests this hypothesis (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43. The categoricity problem and truth-value gaps.Ian Rumfitt - 1997 - Analysis 57 (4):223-235.
    In his article 'Rejection' (1996), Timothy Smiley had shown how a logical system allowing rules of rejection could provide a categorical axiomatization of the classical propositional calculus. This paper shows how rules of rejection, when placed in a multiple conclusion setting, can also provide categorical axiomatizations of a range of non-classical calculi which permit truth-value gaps, among them the calculus in Smiley's own 'Sense without denotation' (1960).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  44.  54
    The Use and Abuse of Homer.Ian Morris - 1986 - Classical Antiquity 5 (1):129-41.
  45. Ethics education panel.Ian Bryce - 2013 - The Australian Humanist 112:5.
    Bryce, Ian As part of the CAHS Convention in May this year, I organised a Panel discussion entitled 'Ethics Education Initiatives in Australia'. It was to take advantage of the presence in Sydney of Humanist Society delegates from interstate, and acquaint them with the success story of the NSW Primary Ethics program.
     
    Export citation  
     
    Bookmark  
  46. Locke, Leibniz, language and Hans Aarsleff.Ian Hacking - 1988 - Synthese 75 (2):135 - 153.
  47. Respect for persons and the interest in freedom.Ian Carter - 2009 - In Stephen De Wijze, Matthew H. Kramer & Ian Carter (eds.), Hillel Steiner and the Anatomy of Justice: Themes and Challenges. New York: Routledge. pp. 16--167.
  48.  23
    Darwinian we are not: Counterfactualism as the natural course of history.Ian Hesketh - 2014 - History and Theory 53 (2):295-303.
    This article considers Peter Bowler's recent contribution to the genre of counterfactual history as exemplifying a “restrained” counterfactual framework, one that must downplay the role of contingency in the historical process in order to present what Bowler calls a more “natural course” of historical development. This restrained counterfactual methodology is discussed with reference to analogous debates within evolutionary science about the competing roles of contingency and convergence in the history of life, along with recent work done within the humanities about (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49. Introduction to critical legal theory.Ian Ward - 1998 - Portland, Or.: Cavendish.
    Introduction to Critical Legal Theory provides an accessible introduction to the study of law and legal theory. It covers all the seminal movements in classical, modern and postmodern legal thought, engaging the reader with the ideas of jurists as diverse as Aristotle, Hobbes and Kant, Marx, Foucault and Dworkin. At the same time, it impresses the interdisciplinary nature of critical legal thought, introducing the reader to the philosophy, the economics and the politics of law. This new edition focuses even more (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  54
    Hegel's idea of freedom.Ian Hunt - 2001 - Australasian Journal of Philosophy 79 (3):435 – 437.
    Book Information Hegel's Idea of Freedom. Hegel's Idea of Freedom Alan Patten Oxford University Press 1999 xiii + 216 Hardback £30 By Alan Patten. Oxford University Press. Pp. xiii + 216. Hardback:£30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 951