Maja Milicic Brandt

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

? Tutorial for this page

Demo Data from VLDB 2026 / reviewers in the wild / expert

dblp:88/2727 · also Maja Milicic, Maja Milicic-Brandt · DBLP profile ↗

← Back

10ranked-venue papers

2as first author

0since 2021 · last 2019

—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 7 · 1 first-authorTheory of computation · 4 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2Systems, architecture and hardware · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence 3 papers		Knowledge representation and reasoning · 100%
Theoretical computer science 2 papers		Logic in computer science · 88% Automated reasoning and model checking · 12%

Topics — the 4 heaviest of 4, each with the papers that count most for it

Topic	Weight	Papers	Last	Evidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning description logic	0.2	3	2011	Foundations of instance level updates in expressive description logics · Artif. Intell. 2011 Updating Description Logic ABoxes · KR 2006 Integrating Description Logics and Action Formalisms: First Results · AAAI 2005
Knowledge, reasoning and agents › Knowledge representation and reasoning › belief revision instance-level update	0.1	1	2011	Foundations of instance level updates in expressive description logics · Artif. Intell. 2011
Logic in computer science › knowledge representation and reasoning description logic	0.1	1	2011	Foundations of instance level updates in expressive description logics · Artif. Intell. 2011
Automated reasoning and model checking reasoning about actions	0.0	1	2005	Integrating Description Logics and Action Formalisms: First Results · AAAI 2005

Methods — techniques the papers use, named apart from their topics

formal semantics · 0.2

Year	Publication	Venue	Position
2019	A formal mapping between OPC UA and the Semantic Web abstract The communication protocol OPC UA is one of the most important IIoT enablers within the automation domain. OPC UA not only aims to provide interoperability on the transport layer, but also interoperability of the semantic layer shall be addressed based on so-called Companion Specifications. However, the lack of OPC UA formal semantics makes automatic validation of OPC UA data models impossible. Another drawback is the shortage of available tools for OPC UA, such as an implementation of the query engine for the specified OPC UA query language. In this paper we provide a formal translation of OPC UA models to the Semantic Web standard OWL, thus making OPC UA implicit semantics, that is described in the documentation, explicit, by means of OWL axioms. Moreover, we outline how this mapping can be used to offer validation and querying of OPC UA data models based on already existing Semantic Web technology. Rainer Schiekofer, Stephan Grimm, Maja Milicic Brandt, Michael Weyrich	INDIN	3
2011	Mapping Orphanet Terminology to UMLS Maja Milicic Brandt, Ana Rath, Andrew Devereau, Ségolène Aymé	AIME	1
2011	Foundations of instance level updates in expressive description logics Hongkai Liu, Carsten Lutz, Maja Milicic Brandt, Frank Wolter	Artif. Intell.	3
2007	Complexity of Planning in Action Formalisms Based on Description Logics Maja Milicic Brandt	LPAR	1
2007	A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes Carsten Lutz, Maja Milicic Brandt	J. Autom. Reason.	2
2006	Reasoning About Actions Using Description Logics with General TBoxes Hongkai Liu, Carsten Lutz, Maja Milicic Brandt, Frank Wolter	JELIA	3
2006	Updating Description Logic ABoxes Hongkai Liu, Carsten Lutz, Maja Milicic Brandt, Frank Wolter	KR	3
2005	Integrating Description Logics and Action Formalisms: First Results Franz Baader, Carsten Lutz, Maja Milicic Brandt, Ulrike Sattler, Frank Wolter	AAAI	3
2005	A Tableau Algorithm for Description Logics with Concrete Domains and GCIs Carsten Lutz, Maja Milicic Brandt	TABLEAUX	2
2004	Description Logics with Concrete Domains and Functional Dependencies Carsten Lutz, Maja Milicic Brandt	ECAI	2