Handbook on Ontologies by Franz Baader, Ian Horrocks, Ulrike Sattler (auth.), PD Dr.

By Franz Baader, Ian Horrocks, Ulrike Sattler (auth.), PD Dr. Steffen Staab, Professor Dr. Rudi Studer (eds.)

Show description

Read or Download Handbook on Ontologies PDF

Best nonfiction_8 books

Advances in Object-Oriented Graphics I

Object-oriented platforms have won loads of reputation lately and their software to photographs has been very profitable. This ebook records a few fresh advances and exhibits various parts of present examine. the aim of the publication is: - to illustrate the intense sensible software of object-oriented equipment in special effects (including person interfaces, picture synthesis, CAD), - to envision awesome learn matters within the box of object-oriented pics, and particularly to investi- gate extensions and shortcomings of the technique while utilized to special effects.

Organizational Change and Information Systems: Working and Living Together in New Ways

This publication examines various matters rising from the interplay of data applied sciences and organizational structures. It encompasses a number of study papers concentrating on subject matters of becoming curiosity within the box of data structures, association reports, and administration. The booklet deals a multidisciplinary view on details structures aiming to disseminate educational wisdom.

Additional info for Handbook on Ontologies

Sample text

Hence, classes may have methods defined on them and may be instances of other classes which serve as a kind of metaclass. Furthermore, variables are permitted at all positions in an isa- or subclass-F-atom. , ROL [L99]), F-Iogic permits that an object is an instance of several classes that are incomparable by the subclass relationship. Analogously, a class may have several incomparable direct superclasses. Thus, the subclass relationship specifies a partial order on the set of classes, so that the class hierarchy may be considered as a directed acyclic (but not reflexive) graph with the classes as its nodes.

Franz Baader, Sebastian Brandt, and Ralf Küsters. Matching under side conditions in description 10gics. In Bernhard Nebel, editor, Proc. o/the 17th Int. Joint Conf on Artificiallntelligence (IJCAI 2001), pages 213-218, Seattle, Washington, 2001. Morgan Kaufmann. 1 Description Logics 23 6. Franz Baader, Martin Buchheit, and Bemhard Hollunder. Cardinality restrictions on concepts. ArtificialIntelligence, 88(1-2): 195-213, 1996. 7. Franz Baader, Hans-Jürgen Bürckert, Bemhard Hollunder, Wemer Nutt, and Jörg H.

In fact, ExpTIME-hardness can be shown by an easy adaptation of the ExpTIME-hardness proof for satisfiability in propositional dynamic logic [47]. t. role hierarchies is indeed decidable within exponential time. In the remainder of this section, we sketch a tableau-based decision procedure for this problem. This procedure, which is described in more detail in [67], runs in worstcase nondeterministic double exponential time. 13 However, according to the current state of the art, this procedures is more practical than the EXpTIME automata-based procedure in [97].

Download PDF sample

Rated 4.84 of 5 – based on 12 votes