Submitted to Communications of the ACM. Model Driven Security (2008)
David Basin, Eth Zürich, Martin Buchheit, Interactive Objects, Software Gmbh, Jürgen Doser, ...
We present Model Driven Security, a new approach to building secure systems. In Model Driven Security, designers specify high-level system models along with their security properties and use tools to...
Baader Et Al, B Franz Baader, Bernhard Hollunder Cardinality, Bresciani Et Al, Paolo Bresciani, Enrico Franconi, ...
restrictions on concepts. In Proc. of KI'94, 1994.
Prolog-artigen Syntax von RELFUN (2007)
Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, ...
40 pages
Prolog-artigen Syntax von RELFUN (2007)
Stefan Dittrich, Rainer Hoch Automatische, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, ...
COLAB 40 pages D-92-28
Prolog-artigen Syntax von RELFUN (2007)
Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, ...
40 pages
Subsumption between Queries to Object-Oriented Databases (2007)
Intelligenz Gmbh, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt, Deutsches Forschungszentrum
f ur
Terminological formalisms in knowledge representation and database systems / (1995)
Saarbrücken, Universiẗat, Diss., 1995.
Subsumption between Queries to Object-Oriented Databases (1994)
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt
Most work on query optimization in relational and object-oriented databases has concentrated on tuning algebraic expressions and the physical access to the database contents. The attention to...
Decidable Reasoning in Terminological Knowledge Representation Systems (1993)
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
Terminological Knowledge Representation Systems (TKRS) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a...
Intelligenz Gmbh, Franz Baader, Martin Buchheit, Bernhard Hollunder, Deutsches Forschungszentrum, ...
The concept description formalisms of existing terminological systems allow the user to express local cardinality restrictions on the fillers of a particular role. It is not possible, however, to...
Decidable Reasoning in Terminological Knowledge Representation Systems (1993)
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a...
Cardinality Restrictions on Concepts (1993)
Intelligenz Gmbh, Franz Baader, Martin Buchheit, Bernhard Hollunder, Deutsches Forschungszentrum, Friedrich J. Wendl
The concept description formalisms of existing terminological systems allow the user to express local cardinality restrictions on the fillers of a particular role. It is not possible, however, to...
Decidable Reasoning in Terminological Knowledge Representation Systems (1993)
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a...
Decidable reasoning in terminological knowledge representation systems (1993)
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a...
Decidable reasoning in terminological knowledge representation systems (1993)
Terminological Knowledge Representation Systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). The TKRS we consider in...